| The stable model semantics for logic programming. M Gelfond, V Lifschitz ICLP/SLP 88, 1070-1080, 1988 | 5262 | 1988 |
| Classical negation in logic programs and disjunctive databases M Gelfond, V Lifschitz New generation computing 9, 365-385, 1991 | 3025 | 1991 |
| Logic programs with classical negation M Gelfond Proceedings of 7th International Conference on Logic Programming, 579-597, 1990 | 859 | 1990 |
| Handbook of knowledge representation F Van Harmelen, V Lifschitz, B Porter Elsevier, 2008 | 764 | 2008 |
| Answer set programming V Lifschitz Springer, 2019 | 758 | 2019 |
| Representing action and change by logic programs M Gelfond, V Lifschitz The Journal of Logic Programming 17 (2-4), 301-321, 1993 | 744 | 1993 |
| Computing circumscription. V Lifschitz IJCAI 85, 121-127, 1985 | 683 | 1985 |
| Action languages M Gelfond, V Lifschitz Linköping University Electronic Press, 1998 | 667 | 1998 |
| Strongly equivalent logic programs V Lifschitz, D Pearce, A Valverde ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001 | 623 | 2001 |
| Answer set programming and plan generation V Lifschitz Artificial Intelligence 138 (1-2), 39-54, 2002 | 599 | 2002 |
| Nonmonotonic causal theories E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner Artificial Intelligence 153 (1-2), 49-104, 2004 | 575 | 2004 |
| Splitting a logic program. V Lifschitz, H Turner ICLP 94, 23-37, 1994 | 497 | 1994 |
| Answer set planning V Lifschitz Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 1999 | 457 | 1999 |
| On the semantics of STRIPS V Lifschitz Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987 | 443 | 1987 |
| Circumscription V Lifschitz Handbook of logic in artificial intelligence and logic programming (vol. 3 …, 1994 | 377 | 1994 |
| Nested expressions in logic programs V Lifschitz, LR Tang, H Turner Annals of Mathematics and Artificial Intelligence 25, 369-389, 1999 | 364 | 1999 |
| Formal theories of action V Lifschitz The frame problem in Artificial Intelligence, 35-57, 1987 | 358 | 1987 |
| Pointwise circumscription V Lifschitz Readings in nonmonotonic reasoning, 179-193, 1987 | 303 | 1987 |
| An action language based on causal explanation: Preliminary report E Giunchiglia, V Lifschitz AAAI/IAAI, 623-630, 1998 | 290 | 1998 |
| Foundations of logic programming V Lifschitz Principles of knowledge representation 3, 69-127, 1996 | 290 | 1996 |
