| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 558 | 2004 |
| Splitting a logic program. V Lifschitz, H Turner ICLP 94, 23-37, 1994 | 474 | 1994 |
| Nested expressions in logic programs V Lifschitz, LR Tang, H Turner Annals of Mathematics and Artificial Intelligence 25 (3), 369-389, 1999 | 357 | 1999 |
| Causal theories of action and change N McCain, H Turner AAAI/IAAI, 460-465, 1997 | 356 | 1997 |
| A causal theory of ramifications and qualifications N McCain, H Turner IJCAI 95 (4), 1978-1984, 1995 | 317 | 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 | 175 | 1997 |
| Strong equivalence made easy: nested expressions and weight constraints H Turner Theory and Practice of Logic Programming 3 (4-5), 609-622, 2003 | 172 | 2003 |
| A logic of universal causation H Turner Artificial Intelligence 113 (1-2), 87-123, 1999 | 107 | 1999 |
| Polynomial-length planning spans the polynomial hierarchy H Turner European Workshop on Logics in Artificial Intelligence, 111-124, 2002 | 103 | 2002 |
| Update by means of inference rules TC Przymusinski, H Turner The Journal of Logic Programming 30 (2), 125-143, 1997 | 102 | 1997 |
| Representing transition systems by logic programs V Lifschitz, H Turner International Conference on Logic Programming and Nonmonotonic Reasoning, 92-106, 1999 | 100 | 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 International Conference on Logic Programming and Nonmonotonic Reasoning, 81-92, 2001 | 63 | 2001 |
| Splitting a Default Theory H Turner AAAI-96, 1996 | 57 | 1996 |
| Signed Logic Programs. H Turner ILPS 94, 61-75, 1994 | 35 | 1994 |
| Causal laws and multi-valued fluents E Giunchiglia In Proceedings of Workshop on Nonmonotonic Reasoning, Action and Change (NRAC, 2001 | 27 | 2001 |
| Strong equivalence for causal theories H Turner International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004 | 26 | 2004 |
| 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 ICLP, 38-57, 1994 | 19 | 1994 |
Vladimir LifschitzUniversity of Texas at AustinVerified email at cs.utexas.edu
