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
50541992
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz
New generation computing 9 (3), 365-385, 1991
29161991
Logical programs with classical negation
M Gelfond
Proceedings of the Seventh International Logic Programming Conference, New …, 1990
8111990
Representing action and change by logic programs
M Gelfond, V Lifschitz
The Journal of Logic Programming 17 (2-4), 301-321, 1993
7311993
Handbook of knowledge representation
F Van Harmelen, V Lifschitz, B Porter
Elsevier, 2008
6862008
Computing circumscription.
V Lifschitz
IJCAI 85, 121-127, 1985
6431985
Action languages
M Gelfond, V Lifschitz
Linköping University Electronic Press, 1998
6421998
Answer set programming
V Lifschitz
Springer, 2019
6002019
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
5962001
Answer set programming and plan generation
V Lifschitz
Artificial Intelligence 138 (1-2), 39-54, 2002
5722002
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5582004
Splitting a logic program.
V Lifschitz, H Turner
ICLP 94, 23-37, 1994
4741994
Answer set planning
V Lifschitz
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999
4291999
On the semantics of STRIPS
V Lifschitz
Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987
4201987
Circumscription
V Lifschitz
3721996
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
3571999
An action language based on causal explanation: Preliminary report
E Giunchiglia, V Lifschitz
AAAI/IAAI, 623-630, 1998
2851998
Foundations of logic programming
V Lifschitz
Principles of knowledge representation 3, 69-127, 1996
2831996
Pointwise circumscription
V Lifschitz
Readings in nonmonotonic reasoning, 179-193, 1987
2781987
The system can't perform the operation now. Try again later.
Articles 1–20