| Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium … M Fitting The Journal of Symbolic Logic 57 (1), 274-277, 1992 | 5600 | 1992 |
| Classical negation in logic programs and disjunctive databases M Gelfond, V Lifschitz New generation computing 9, 365-385, 1991 | 3189 | 1991 |
| Answer set programming V Lifschitz Springer, 2019 | 914 | 2019 |
| Logic programs with classical negation M Gelfond, V Lifschitz Logic programming, 579-597, 1990 | 874 | 1990 |
| Handbook of knowledge representation F Van Harmelen, V Lifschitz, B Porter Elsevier, 2008 | 837 | 2008 |
| Representing action and change by logic programs M Gelfond, V Lifschitz The Journal of Logic Programming 17 (2-4), 301-321, 1993 | 757 | 1993 |
| Action languages M Gelfond, V Lifschitz Linköping University Electronic Press, 1998 | 699 | 1998 |
| Computing circumscription. V Lifschitz IJCAI 85, 121-127, 1985 | 691 | 1985 |
| Strongly equivalent logic programs V Lifschitz, D Pearce, A Valverde ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001 | 661 | 2001 |
| Answer set programming and plan generation V Lifschitz Artificial Intelligence 138 (1-2), 39-54, 2002 | 631 | 2002 |
| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 581 | 2004 |
| Splitting a logic program. V Lifschitz, H Turner ICLP 94, 23-37, 1994 | 515 | 1994 |
| Answer set planning V Lifschitz International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999 | 474 | 1999 |
| On the semantics of STRIPS V Lifschitz Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987 | 450 | 1987 |
| Circumscription V Lifschitz Handbook of logic in artificial intelligence and logic programming (vol. 3 …, 1994 | 384 | 1994 |
| Nested expressions in logic programs V Lifschitz, LR Tang, H Turner Annals of Mathematics and Artificial Intelligence 25, 369-389, 1999 | 375 | 1999 |
| Formal theories of action V Lifschitz The frame problem in Artificial Intelligence, 35-57, 1987 | 352 | 1987 |
| Pointwise circumscription V Lifschitz Readings in nonmonotonic reasoning, 179-193, 1987 | 309 | 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 | 290 | 1998 |