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
51461992
Classical negation in logic programs and disjunctive databases
M Gelfond, V Lifschitz
New generation computing 9 (3), 365-385, 1991
29431991
Logical programs with classical negation
M Gelfond
Proceedings of the Seventh International Logic Programming Conference, New …, 1990
8141990
Representing action and change by logic programs
M Gelfond, V Lifschitz
The Journal of Logic Programming 17 (2-4), 301-321, 1993
7321993
Handbook of knowledge representation
F Van Harmelen, V Lifschitz, B Porter
Elsevier, 2008
7032008
Action languages
M Gelfond, V Lifschitz
Linköping University Electronic Press, 1998
6501998
Computing circumscription.
V Lifschitz
IJCAI 85, 121-127, 1985
6461985
Answer set programming
V Lifschitz
Springer, 2019
6362019
Strongly equivalent logic programs
V Lifschitz, D Pearce, A Valverde
ACM Transactions on Computational Logic (TOCL) 2 (4), 526-541, 2001
6012001
Answer set programming and plan generation
V Lifschitz
Artificial Intelligence 138 (1-2), 39-54, 2002
5812002
Nonmonotonic causal theories
E Giunchiglia, J Lee, V Lifschitz, N McCain, H Turner
Artificial Intelligence 153 (1-2), 49-104, 2004
5612004
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
4321999
On the semantics of STRIPS
V Lifschitz
Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 1-9, 1987
4201987
Circumscription
V Lifschitz
3731996
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
3601999
An action language based on causal explanation: Preliminary report
E Giunchiglia, V Lifschitz
AAAI/IAAI, 623-630, 1998
2881998
Foundations of logic programming
V Lifschitz
Principles of knowledge representation 3, 69-127, 1996
2841996
Pointwise circumscription
V Lifschitz
Readings in nonmonotonic reasoning, 179-193, 1987
2801987
The system can't perform the operation now. Try again later.
Articles 1–20