Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 576 | 2004 |
Splitting a logic program V Lifschitz, H Turner | 506 | 1994 |
Causal theories of action and change N McCain, H Turner AAAI/IAAI, 460-465, 1997 | 370 | 1997 |
Nested expressions in logic programs V Lifschitz, LR Tang, H Turner Annals of Mathematics and Artificial Intelligence 25, 369-389, 1999 | 364 | 1999 |
A causal theory of ramifications and qualifications N McCain, H Turner IJcAI 95 (4), 1978-1984, 1995 | 332 | 1995 |
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 | 182 | 1997 |
Strong equivalence made easy: nested expressions and weight constraints H Turner Theory and Practice of Logic Programming 3 (4-5), 609-622, 2003 | 181 | 2003 |
A logic of universal causation H Turner Artificial Intelligence 113 (1-2), 87-123, 1999 | 112 | 1999 |
Polynomial-length planning spans the polynomial hierarchy H Turner Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002 | 107 | 2002 |
Update by means of inference rules TC Przymusinski, H Turner The Journal of Logic Programming 30 (2), 125-143, 1997 | 107 | 1997 |
Representing transition systems by logic programs V Lifschitz, H Turner International Conference on Logic Programming and Nonmonotonic Reasoning, 92-106, 1999 | 104 | 1999 |
Satisfiability planning with causal theories N McCain, H Turner KR 98, 212-223, 1998 | 96 | 1998 |
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 | 71 | 2004 |
Strong equivalence for logic programs and default theories (made easy) H Turner Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001 | 70 | 2001 |
Splitting a Default Theory H Turner AAAI-96, 1996 | 60 | 1996 |
Signed Logic Programs. H Turner ILPS 94, 61-75, 1994 | 36 | 1994 |
Strong equivalence for causal theories H Turner Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004 | 29 | 2004 |
Causal laws and multi-valued fluents E Giunchiglia, J Lee, V Lifschitz, H Turner arXiv preprint arXiv:2307.10227, 2023 | 23 | 2023 |
Representing actions in default logic: A situation calculus approach H Turner Proceedings of the Third Symposium on Logical Formalizations of Commonsense …, 1996 | 20 | 1996 |
Language independence and language tolerance in logic programs N McCain, H Turner | 18 | 1994 |