Vladimir Lifschitz
Title
Cited by
Cited by
Year
The stable model semantics for logic programming
M Fitting
The Journal of Symbolic Logic 57 (1), 274-277, 1992
49021992
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz
New generation computing 9 (3-4), 365-385, 1991
28091991
Logical programs with classical negation
M Gelfond
Proceedings of the Seventh International Logic Programming Conference, New …, 1990
8101990
Representing action and change by logic programs
M Gelfond, V Lifschitz
The Journal of Logic Programming 17 (2-4), 301-321, 1993
7111993
Computing circumscription.
V Lifschitz
IJCAI 85, 121-127, 1985
6361985
Action languages
M Gelfond, V Lifschitz
Linköping University Electronic Press, 1998
6141998
Handbook of knowledge representation
F Van Harmelen, V Lifschitz, B Porter
Elsevier, 2008
5842008
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
5692001
Answer set programming and plan generation
V Lifschitz
Artificial Intelligence 138 (1-2), 39-54, 2002
5432002
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5422004
Answer set programming
V Lifschitz
Springer, 2019
5132019
Splitting a logic program.
V Lifschitz, H Turner
ICLP 94, 23-37, 1994
4571994
On the semantics of STRIPS
V Lifschitz
Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987
4161987
Answer set planning
V Lifschitz
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999
4131999
Circumscription
V Lifschitz
3661996
Formal theories of action
V Lifschitz
The frame problem in Artificial Intelligence, 35-57, 1987
3561987
Nested expressions in logic programs
V Lifschitz, LR Tang, H Turner
Annals of Mathematics and Artificial Intelligence 25 (3), 369-389, 1999
3471999
Pointwise circumscription
V Lifschitz
Readings in nonmonotonic reasoning, 179-193, 1987
2871987
Foundations of logic programming
V Lifschitz
Principles of knowledge representation 3, 69-127, 1996
2811996
An action language based on causal explanation: Preliminary report
E Giunchiglia, V Lifschitz
AAAI/IAAI, 623-630, 1998
2751998
The system can't perform the operation now. Try again later.
Articles 1–20