A Monotonicity Theorem for Extended Logic Programs. - Hudson Turner (ICLP, 1993)

Automated Reasoning About Actions: A Logic Programming Approach. - Vladimir Lifschitz; Norman McCain; Hudson Turner (ILPS, 1993)

Splitting a Logic Program. - Vladimir Lifschitz; Hudson Turner (ICLP, 1994)

Language Independence and Language Tolerance in Logic Programs. - Norman McCain; Hudson Turner (ICLP, 1994)

From Disjunctive Programs to Abduction. - Vladimir Lifschitz; Hudson Turner (NMELP, 1994)

Signed Logic Programs. - Hudson Turner (ILPS, 1994)

A Causal Theory of Ramifications and Qualifications. - Norman McCain; Hudson Turner (IJCAI, 1995)

Splitting a Default Theory. - Hudson Turner (AAAI/IAAI, Vol. 1, 1996)

Causal Theories of Action and Change. - Norman McCain; Hudson Turner (AAAI/IAAI, 1997)

Update by Means of Inference Rules. - Teodor C. Przymusinski; Hudson Turner (J. Log. Program., 1997)

Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach. - Hudson Turner (J. Log. Program., 1997)

Satisfiability planning with Causal Theories. - Norman McCain; Hudson Turner (KR, 1998)

Representing Transition Systems by Logic Programs. - Vladimir Lifschitz; Hudson Turner (LPNMR, 1999)

A Logic of Universal Causation. - Hudson Turner (Artif. Intell., 1999)

Nested Expressions in Logic Programs. - Vladimir Lifschitz; Lappoon R. Tang; Hudson Turner (Ann. Math. Artif. Intell., 1999)

Strong Equivalence for Logic Programs and Default Theories (Made Easy). - Hudson Turner (LPNMR, 2001)

Order-consistent programs are cautiously monotonic. - Hudson Turner (Theory Pract. Log. Program., 2001)

Polynomial-Length Planning Spans the Polynomial Hierarchy. - Hudson Turner (JELIA, 2002)

Strong equivalence made easy: nested expressions and weight constraints. - Hudson Turner (Theory Pract. Log. Program., 2003)

Strong Equivalence for Causal Theories. - Hudson Turner (LPNMR, 2004)

Representing the Zoo World and the Traffic World in the language of the Causal Calculator. - Varol Akman; Selim T. Erdogan; Joohyung Lee 002; Vladimir Lifschitz; Hudson Turner (Artif. Intell., 2004)

Nonmonotonic causal theories. - Enrico Giunchiglia; Joohyung Lee 002; Vladimir Lifschitz; Norman McCain; Hudson Turner (Artif. Intell., 2004)

Nonmonotonic Causal Logic. - Hudson Turner (Handbook of Knowledge Representation, 2008)

Causal Laws and Multi-Valued Fluents. - Enrico Giunchiglia; Joohyung Lee 002; Vladimir Lifschitz; Hudson Turner (CoRR, 2023)