| The stable model semantics for logic programming. M Gelfond, V Lifschitz ICLP/SLP 88, 1070-1080, 1988 | 5479 | 1988 |
| Classical negation in logic programs and disjunctive databases M Gelfond, V Lifschitz New generation computing 9, 365-385, 1991 | 3132 | 1991 |
| Answer set programming V Lifschitz Springer, 2019 | 884 | 2019 |
| Logic programs with classical negation M Gelfond, V Lifschitz Logic programming, 579-597, 1990 | 879 | 1990 |
| Handbook of knowledge representation F Van Harmelen, V Lifschitz, B Porter Elsevier, 2008 | 828 | 2008 |
| Representing action and change by logic programs M Gelfond, V Lifschitz The Journal of Logic Programming 17 (2-4), 301-321, 1993 | 753 | 1993 |
| Action languages M Gelfond, V Lifschitz Linköping University Electronic Press, 1998 | 691 | 1998 |
| Computing circumscription. V Lifschitz IJCAI 85, 121-127, 1985 | 683 | 1985 |
| Strongly equivalent logic programs V Lifschitz, D Pearce, A Valverde ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001 | 642 | 2001 |
| Answer set programming and plan generation V Lifschitz Artificial Intelligence 138 (1-2), 39-54, 2002 | 625 | 2002 |
| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 577 | 2004 |
| Splitting a logic program V Lifschitz, H Turner | 512 | 1994 |
| Answer set planning V Lifschitz Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 1999 | 473 | 1999 |
| On the semantics of STRIPS V Lifschitz Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987 | 448 | 1987 |
| Circumscription V Lifschitz Handbook of logic in artificial intelligence and logic programming (vol. 3 …, 1994 | 380 | 1994 |
| Nested expressions in logic programs V Lifschitz, LR Tang, H Turner Annals of Mathematics and Artificial Intelligence 25, 369-389, 1999 | 368 | 1999 |
| Formal theories of action V Lifschitz The frame problem in Artificial Intelligence, 35-57, 1987 | 357 | 1987 |
| Pointwise circumscription V Lifschitz Readings in nonmonotonic reasoning, 179-193, 1987 | 302 | 1987 |
| Formalizing Commonsense: Papers by John McCarthy J McCarthy, V Lifschitz Greenwood Publishing Group Inc., 1990 | 300 | 1990 |
| An action language based on causal explanation: Preliminary report E Giunchiglia, V Lifschitz AAAI/IAAI, 623-630, 1998 | 291 | 1998 |