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
5262004
Splitting a Logic Program.
V Lifschitz, H Turner
ICLP 94, 23-37, 1994
4261994
Causal theories of action and change
N McCain, H Turner
AAAI/IAAI, 460-465, 1997
3461997
Nested expressions in logic programs
V Lifschitz, LR Tang, H Turner
Annals of Mathematics and Artificial Intelligence 25 (3-4), 369-389, 1999
3361999
A causal theory of ramifications and qualifications
N McCain, H Turner
IJCAI 95 (4), 1978-1984, 1995
3151995
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
1681997
Strong equivalence made easy: nested expressions and weight constraints
H Turner
Theory and Practice of Logic Programming 3 (4+ 5), 609-622, 2003
1582003
A logic of universal causation
H Turner
Artificial Intelligence 113 (1-2), 87-123, 1999
1031999
Satisfiability planning with causal theories
N McCain, H Turner
KR 98, 212-223, 1998
941998
Representing transition systems by logic programs
V Lifschitz, H Turner
International Conference on Logic Programming and Nonmonotonic Reasoning, 92-106, 1999
911999
Polynomial-length planning spans the polynomial hierarchy
H Turner
European Workshop on Logics in Artificial Intelligence, 111-124, 2002
872002
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
702004
Strong equivalence for logic programs and default theories (made easy)
H Turner
International Conference on Logic Programming and Nonmonotonic Reasoning, 81-92, 2001
592001
Update by means of inference rules
TC Przymusinski, H Turner
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1995
571995
Splitting a Default Theory
H Turner
AAAI-96, 1996
561996
Update by means of inference rules
TC Przymusinski, H Turner
The Journal of Logic Programming 30 (2), 125-143, 1997
471997
Signed Logic Programs.
H Turner
ILPS 94, 61-75, 1994
311994
Strong equivalence for causal theories
H Turner
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004
232004
Causal laws and multi-valued fluents
E Giunchiglia
In Proceedings of Workshop on Nonmonotonic Reasoning, Action and Change (NRAC, 2001
212001
Representing actions in default logic: A situation calculus approach
H Turner
Proceedings of the Third Symposium on Logical Formalizations of Commonsense …, 1996
181996
The system can't perform the operation now. Try again later.
Articles 1–20