| 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 | 5054 | 1992 |
| Classical negation in logic programs and disjunctive databases M Gelfond, V Lifschitz New generation computing 9 (3), 365-385, 1991 | 2916 | 1991 |
| Logical programs with classical negation M Gelfond Proceedings of the Seventh International Logic Programming Conference, New …, 1990 | 811 | 1990 |
| Representing action and change by logic programs M Gelfond, V Lifschitz The Journal of Logic Programming 17 (2-4), 301-321, 1993 | 731 | 1993 |
| Handbook of knowledge representation F Van Harmelen, V Lifschitz, B Porter Elsevier, 2008 | 686 | 2008 |
| Computing circumscription. V Lifschitz IJCAI 85, 121-127, 1985 | 643 | 1985 |
| Action languages M Gelfond, V Lifschitz Linköping University Electronic Press, 1998 | 642 | 1998 |
| Answer set programming V Lifschitz Springer, 2019 | 600 | 2019 |
| Strongly equivalent logic programs V Lifschitz, D Pearce, A Valverde ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001 | 596 | 2001 |
| Answer set programming and plan generation V Lifschitz Artificial Intelligence 138 (1-2), 39-54, 2002 | 572 | 2002 |
| 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 |
| Answer set planning V Lifschitz International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999 | 429 | 1999 |
| On the semantics of STRIPS V Lifschitz Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987 | 420 | 1987 |
| Circumscription V Lifschitz | 372 | 1996 |
| Formal theories of action V Lifschitz The frame problem in Artificial Intelligence, 35-57, 1987 | 366 | 1987 |
| Nested expressions in logic programs V Lifschitz, LR Tang, H Turner Annals of Mathematics and Artificial Intelligence 25 (3), 369-389, 1999 | 357 | 1999 |
| An action language based on causal explanation: Preliminary report E Giunchiglia, V Lifschitz AAAI/IAAI, 623-630, 1998 | 285 | 1998 |
| Foundations of logic programming V Lifschitz Principles of knowledge representation 3, 69-127, 1996 | 283 | 1996 |
| Pointwise circumscription V Lifschitz Readings in nonmonotonic reasoning, 179-193, 1987 | 278 | 1987 |
