Hudson Turner

27 papers A* 2B 8Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2023 J jnl
Causal Laws and Multi-Valued Fluents.
CoRR
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
2008 — ch.
Nonmonotonic Causal Logic.
Handbook of Knowledge Representation
Hudson Turner
2004 J jnl
Nonmonotonic causal theories.
Artif. Intell.
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
2004 J jnl
Representing the Zoo World and the Traffic World in the language of the Causal Calculator.
Artif. Intell.
Varol Akman, Selim T. Erdogan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
2004 B conf
Strong Equivalence for Causal Theories.
LPNMR
Hudson Turner
2003 J jnl
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints
CoRR
Hudson Turner
2003 J jnl
Strong equivalence made easy: nested expressions and weight constraints.
Theory Pract. Log. Program.
Hudson Turner
2002 B conf
Polynomial-Length Planning Spans the Polynomial Hierarchy.
JELIA
Hudson Turner
2001 J jnl
Order-consistent programs are cautiously monotonic.
Theory Pract. Log. Program.
Hudson Turner
2001 B conf
Strong Equivalence for Logic Programs and Default Theories (Made Easy).
LPNMR
Hudson Turner
2000 J jnl
Order-consistent programs are cautiously monotonic
CoRR
Hudson Turner
1999 J jnl
A Logic of Universal Causation.
Artif. Intell.
Hudson Turner
1999 J jnl
Nested Expressions in Logic Programs.
Ann. Math. Artif. Intell.
Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
1999 B conf
Representing Transition Systems by Logic Programs.
LPNMR
Vladimir Lifschitz, Hudson Turner
1998 A* conf
Satisfiability planning with Causal Theories.
KR
Norman McCain, Hudson Turner
1997 — conf
Causal Theories of Action and Change.
AAAI/IAAI
Norman McCain, Hudson Turner
1997 J jnl
Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach.
J. Log. Program.
Hudson Turner
1997 J jnl
Update by Means of Inference Rules.
J. Log. Program.
Teodor C. Przymusinski, Hudson Turner
1996 — conf
Splitting a Default Theory.
AAAI/IAAI, Vol. 1
Hudson Turner
1995 A* conf
A Causal Theory of Ramifications and Qualifications.
IJCAI
Norman McCain, Hudson Turner
1995 B conf
Update by Means of Inference Rules.
LPNMR
Teodor C. Przymusinski, Hudson Turner
1994 — conf
From Disjunctive Programs to Abduction.
NMELP
Vladimir Lifschitz, Hudson Turner
1994 B conf
Language Independence and Language Tolerance in Logic Programs.
ICLP
Norman McCain, Hudson Turner
1994 — conf
Signed Logic Programs.
ILPS
Hudson Turner
1994 B conf
Splitting a Logic Program.
ICLP
Vladimir Lifschitz, Hudson Turner
1993 B conf
A Monotonicity Theorem for Extended Logic Programs.
ICLP
Hudson Turner
1993 — conf
Automated Reasoning About Actions: A Logic Programming Approach.
ILPS
Vladimir Lifschitz, Norman McCain, Hudson Turner