Hudson Turner

According to our database, Hudson Turner authored at least 24 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Causal Laws and Multi-Valued Fluents.

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

CoRR, 2023

2008

Nonmonotonic Causal Logic.

Hudson Turner

Proceedings of the Handbook of Knowledge Representation, 2008

2004

Nonmonotonic causal theories.

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner

Artif. Intell., 2004

Representing the Zoo World and the Traffic World in the language of the Causal Calculator.

Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

Artif. Intell., 2004

Strong Equivalence for Causal Theories.

Hudson Turner

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2003

Strong equivalence made easy: nested expressions and weight constraints.

Hudson Turner

Theory Pract. Log. Program., 2003

2002

Polynomial-Length Planning Spans the Polynomial Hierarchy.

Hudson Turner

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

Order-consistent programs are cautiously monotonic.

Hudson Turner

Theory Pract. Log. Program., 2001

Strong Equivalence for Logic Programs and Default Theories (Made Easy).

Hudson Turner

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

1999

Nested Expressions in Logic Programs.

Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner

Ann. Math. Artif. Intell., 1999

A Logic of Universal Causation.

Hudson Turner

Artif. Intell., 1999

Representing Transition Systems by Logic Programs.

Vladimir Lifschitz, Hudson Turner

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1998

Satisfiability planning with Causal Theories.

Norman McCain, Hudson Turner

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach.

Hudson Turner

J. Log. Program., 1997

Update by Means of Inference Rules.

Teodor C. Przymusinski, Hudson Turner

J. Log. Program., 1997

Causal Theories of Action and Change.

Norman McCain, Hudson Turner

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Splitting a Default Theory.

Hudson Turner

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

A Causal Theory of Ramifications and Qualifications.

Norman McCain, Hudson Turner

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Signed Logic Programs.

Hudson Turner

Proceedings of the Logic Programming, 1994

From Disjunctive Programs to Abduction.

Vladimir Lifschitz, Hudson Turner

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Language Independence and Language Tolerance in Logic Programs.

Norman McCain, Hudson Turner

Proceedings of the Logic Programming, 1994

Splitting a Logic Program.

Vladimir Lifschitz, Hudson Turner

Proceedings of the Logic Programming, 1994

1993

Automated Reasoning About Actions: A Logic Programming Approach.

Vladimir Lifschitz, Norman McCain, Hudson Turner

Proceedings of the Logic Programming, 1993

A Monotonicity Theorem for Extended Logic Programs.

Hudson Turner

Proceedings of the Logic Programming, 1993