| 2004 |
|---|
| 25 | EE | Hudson Turner:
Strong Equivalence for Causal Theories.
LPNMR 2004: 289-301 |
| 24 | EE | Varol Akman,
Selim T. Erdogan,
Joohyung Lee,
Vladimir Lifschitz,
Hudson Turner:
Representing the Zoo World and the Traffic World in the language of the Causal Calculator.
Artif. Intell. 153(1-2): 105-140 (2004) |
| 23 | EE | Enrico Giunchiglia,
Joohyung Lee,
Vladimir Lifschitz,
Norman McCain,
Hudson Turner:
Nonmonotonic causal theories.
Artif. Intell. 153(1-2): 49-104 (2004) |
| 2003 |
|---|
| 22 | EE | Hudson Turner:
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints
CoRR cs.LO/0312029: (2003) |
| 21 | | Hudson Turner:
Strong equivalence made easy: nested expressions and weight constraints.
TPLP 3(4-5): 609-622 (2003) |
| 2002 |
|---|
| 20 | EE | Hudson Turner:
Polynomial-Length Planning Spans the Polynomial Hierarchy.
JELIA 2002: 111-124 |
| 2001 |
|---|
| 19 | EE | Hudson Turner:
Strong Equivalence for Logic Programs and Default Theories (Made Easy).
LPNMR 2001: 81-92 |
| 18 | | Hudson Turner:
Order-consistent programs are cautiously monotonic.
TPLP 1(4): 487-495 (2001) |
| 2000 |
|---|
| 17 | EE | Hudson Turner:
Order-consistent programs are cautiously monotonic
CoRR cs.LO/0011042: (2000) |
| 1999 |
|---|
| 16 | EE | Vladimir Lifschitz,
Hudson Turner:
Representing Transition Systems by Logic Programs.
LPNMR 1999: 92-106 |
| 15 | | Vladimir Lifschitz,
Lappoon R. Tang,
Hudson Turner:
Nested Expressions in Logic Programs.
Ann. Math. Artif. Intell. 25(3-4): 369-389 (1999) |
| 14 | EE | Hudson Turner:
A Logic of Universal Causation.
Artif. Intell. 113(1-2): 87-123 (1999) |
| 1998 |
|---|
| 13 | | Norman McCain,
Hudson Turner:
Satisfiability planning with Causal Theories.
KR 1998: 212-223 |
| 1997 |
|---|
| 12 | | Norman McCain,
Hudson Turner:
Causal Theories of Action and Change.
AAAI/IAAI 1997: 460-465 |
| 11 | | Teodor C. Przymusinski,
Hudson Turner:
Update by Means of Inference Rules.
J. Log. Program. 30(2): 125-143 (1997) |
| 10 | | Hudson Turner:
Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach.
J. Log. Program. 31(1-3): 245-298 (1997) |
| 1996 |
|---|
| 9 | | Hudson Turner:
Splitting a Default Theory.
AAAI/IAAI, Vol. 1 1996: 645-651 |
| 1995 |
|---|
| 8 | | Norman McCain,
Hudson Turner:
A Causal Theory of Ramifications and Qualifications.
IJCAI 1995: 1978-1984 |
| 7 | | Teodor C. Przymusinski,
Hudson Turner:
Update by Means of Inference Rules.
LPNMR 1995: 156-174 |
| 1994 |
|---|
| 6 | | Vladimir Lifschitz,
Hudson Turner:
Splitting a Logic Program.
ICLP 1994: 23-37 |
| 5 | | Norman McCain,
Hudson Turner:
Language Independence and Language Tolerance in Logic Programs.
ICLP 1994: 38-57 |
| 4 | | Vladimir Lifschitz,
Hudson Turner:
From Disjunctive Programs to Abduction.
NMELP 1994: 23-42 |
| 3 | | Hudson Turner:
Signed Logic Programs.
SLP 1994: 61-75 |
| 1993 |
|---|
| 2 | | Hudson Turner:
A Monotonicity Theorem for Extended Logic Programs.
ICLP 1993: 567-585 |
| 1 | | Vladimir Lifschitz,
Norman McCain,
Hudson Turner:
Automated Reasoning About Actions: A Logic Programming Approach.
ILPS 1993: 641 |
