|
Search the dblp DataBase
Hudson Turner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Vladimir Lifschitz, Hudson Turner
Splitting a Logic Program. [Citation Graph (1, 0)][DBLP] ICLP, 1994, pp:23-37 [Conf]
- Norman McCain, Hudson Turner
Causal Theories of Action and Change. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1997, pp:460-465 [Conf]
- Hudson Turner
Splitting a Default Theory. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, Vol. 1, 1996, pp:645-651 [Conf]
- Norman McCain, Hudson Turner
Language Independence and Language Tolerance in Logic Programs. [Citation Graph (0, 0)][DBLP] ICLP, 1994, pp:38-57 [Conf]
- Hudson Turner
A Monotonicity Theorem for Extended Logic Programs. [Citation Graph (0, 0)][DBLP] ICLP, 1993, pp:567-585 [Conf]
- Norman McCain, Hudson Turner
A Causal Theory of Ramifications and Qualifications. [Citation Graph (0, 0)][DBLP] IJCAI, 1995, pp:1978-1984 [Conf]
- Hudson Turner
Polynomial-Length Planning Spans the Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:111-124 [Conf]
- Norman McCain, Hudson Turner
Satisfiability planning with Causal Theories. [Citation Graph (0, 0)][DBLP] KR, 1998, pp:212-223 [Conf]
- Vladimir Lifschitz, Hudson Turner
Representing Transition Systems by Logic Programs. [Citation Graph (0, 0)][DBLP] LPNMR, 1999, pp:92-106 [Conf]
- Hudson Turner
Strong Equivalence for Logic Programs and Default Theories (Made Easy). [Citation Graph (0, 0)][DBLP] LPNMR, 2001, pp:81-92 [Conf]
- Hudson Turner
Strong Equivalence for Causal Theories. [Citation Graph (0, 0)][DBLP] LPNMR, 2004, pp:289-301 [Conf]
- Teodor C. Przymusinski, Hudson Turner
Update by Means of Inference Rules. [Citation Graph (0, 0)][DBLP] LPNMR, 1995, pp:156-174 [Conf]
- Vladimir Lifschitz, Hudson Turner
From Disjunctive Programs to Abduction. [Citation Graph (0, 0)][DBLP] NMELP, 1994, pp:23-42 [Conf]
- Vladimir Lifschitz, Norman McCain, Hudson Turner
Automated Reasoning About Actions: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP] ILPS, 1993, pp:641- [Conf]
- Hudson Turner
Signed Logic Programs. [Citation Graph (0, 0)][DBLP] SLP, 1994, pp:61-75 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2004, v:153, n:1-2, pp:105-140 [Journal]
- Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
Nonmonotonic causal theories. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2004, v:153, n:1-2, pp:49-104 [Journal]
- Hudson Turner
A Logic of Universal Causation. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1999, v:113, n:1-2, pp:87-123 [Journal]
- Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
Nested Expressions in Logic Programs. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:369-389 [Journal]
- Hudson Turner
Order-consistent programs are cautiously monotonic [Citation Graph (0, 0)][DBLP] CoRR, 2000, v:0, n:, pp:- [Journal]
- Hudson Turner
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal]
- Teodor C. Przymusinski, Hudson Turner
Update by Means of Inference Rules. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1997, v:30, n:2, pp:125-143 [Journal]
- Hudson Turner
Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1997, v:31, n:1-3, pp:245-298 [Journal]
- Hudson Turner
Order-consistent programs are cautiously monotonic. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:4, pp:487-495 [Journal]
- Hudson Turner
Strong equivalence made easy: nested expressions and weight constraints. [Citation Graph (0, 0)][DBLP] TPLP, 2003, v:3, n:4-5, pp:609-622 [Journal]
Search in 0.004secs, Finished in 0.005secs
|