Follow
Hudson Turner
Hudson Turner
Verified email at d.umn.edu
Title
Cited by
Cited by
Year
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5582004
Splitting a logic program.
V Lifschitz, H Turner
ICLP 94, 23-37, 1994
4741994
Nested expressions in logic programs
V Lifschitz, LR Tang, H Turner
Annals of Mathematics and Artificial Intelligence 25 (3), 369-389, 1999
3571999
Causal theories of action and change
N McCain, H Turner
AAAI/IAAI, 460-465, 1997
3561997
A causal theory of ramifications and qualifications
N McCain, H Turner
IJCAI 95 (4), 1978-1984, 1995
3171995
Representing actions in logic programs and default theories a situation calculus approach
H Turner
The journal of logic programming 31 (1-3), 245-298, 1997
1751997
Strong equivalence made easy: nested expressions and weight constraints
H Turner
Theory and Practice of Logic Programming 3 (4-5), 609-622, 2003
1722003
A logic of universal causation
H Turner
Artificial Intelligence 113 (1-2), 87-123, 1999
1071999
Polynomial-length planning spans the polynomial hierarchy
H Turner
European Workshop on Logics in Artificial Intelligence, 111-124, 2002
1032002
Update by means of inference rules
TC Przymusinski, H Turner
The Journal of Logic Programming 30 (2), 125-143, 1997
1021997
Representing transition systems by logic programs
V Lifschitz, H Turner
International Conference on Logic Programming and Nonmonotonic Reasoning, 92-106, 1999
1001999
Satisfiability planning with causal theories
N McCain, H Turner
KR 98, 212-223, 1998
961998
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
V Akman, ST Erdoğan, J Lee, V Lifschitz, H Turner
Artificial Intelligence 153 (1-2), 105-140, 2004
712004
Strong equivalence for logic programs and default theories (made easy)
H Turner
International Conference on Logic Programming and Nonmonotonic Reasoning, 81-92, 2001
632001
Splitting a Default Theory
H Turner
AAAI-96, 1996
571996
Signed Logic Programs.
H Turner
ILPS 94, 61-75, 1994
351994
Causal laws and multi-valued fluents
E Giunchiglia
In Proceedings of Workshop on Nonmonotonic Reasoning, Action and Change (NRAC, 2001
272001
Strong equivalence for causal theories
H Turner
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004
262004
Representing actions in default logic: A situation calculus approach
H Turner
Proceedings of the Third Symposium on Logical Formalizations of Commonsense …, 1996
201996
Language Independence and Language Tolerance in Logic Programs.
N McCain, H Turner
ICLP, 38-57, 1994
191994
The system can't perform the operation now. Try again later.
Articles 1–20