Follow
Vladimir Lifschitz
Title
Cited by
Cited by
Year
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
51711992
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz
New generation computing 9 (3), 365-385, 1991
29531991
Logical programs with classical negation
M Gelfond
Proceedings of the Seventh International Logic Programming Conference, New …, 1990
8161990
Representing action and change by logic programs
M Gelfond, V Lifschitz
The Journal of Logic Programming 17 (2-4), 301-321, 1993
7371993
Handbook of knowledge representation
F Van Harmelen, V Lifschitz, B Porter
Elsevier, 2008
7092008
Action languages
M Gelfond, V Lifschitz
Linköping University Electronic Press, 1998
6581998
Answer set programming
V Lifschitz
Springer, 2019
6492019
Computing circumscription.
V Lifschitz
IJCAI 85, 121-127, 1985
6471985
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
6022001
Answer set programming and plan generation
V Lifschitz
Artificial Intelligence 138 (1-2), 39-54, 2002
5832002
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5642004
Splitting a logic program.
V Lifschitz, H Turner
ICLP 94, 23-37, 1994
4811994
Answer set planning
V Lifschitz
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999
4351999
On the semantics of STRIPS
V Lifschitz
Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987
4211987
Circumscription
V Lifschitz
3741996
Formal theories of action
V Lifschitz
The frame problem in Artificial Intelligence, 35-57, 1987
3661987
Nested expressions in logic programs
V Lifschitz, LR Tang, H Turner
Annals of Mathematics and Artificial Intelligence 25 (3), 369-389, 1999
3631999
An action language based on causal explanation: Preliminary report
E Giunchiglia, V Lifschitz
AAAI/IAAI, 623-630, 1998
2901998
Foundations of logic programming
V Lifschitz
Principles of knowledge representation 3, 69-127, 1996
2861996
Pointwise circumscription
V Lifschitz
Readings in nonmonotonic reasoning, 179-193, 1987
2821987
The system can't perform the operation now. Try again later.
Articles 1–20