The stable model semantics for logic programming. M Gelfond, V Lifschitz ICLP/SLP 88, 1070-1080, 1988 | 5483 | 1988 |
Classical negation in logic programs and disjunctive databases M Gelfond, V Lifschitz New generation computing 9, 365-385, 1991 | 3136 | 1991 |
Answer set programming V Lifschitz Springer, 2019 | 890 | 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 | 832 | 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 | 692 | 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 | 644 | 2001 |
Answer set programming and plan generation V Lifschitz Artificial Intelligence 138 (1-2), 39-54, 2002 | 628 | 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 | 474 | 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 | 370 | 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 | 292 | 1998 |