V. Lifschitz, "On the semantics of STRIPS," in: Reasoning about Actions and Plans, 1987, pp. 1-9.
M. Gelfond and V. Lifschitz, "The stable model semantics for logic programming," in Logic Programming: Proceedings of the Fifth International Conference and Symposium, 1988, pp. 1070-1080.
V. Lifschitz, "Benchmark problems for formal nonmonotonic reasoning," in Proceedings of the Second international Workshop on Non-monotonic Reasoning, 1989, pp. 202-219.
V. Lifschitz, "On open defaults," in Computational Logic: Symposium Proceedings, pp. 80-95, 1990.
M. Gelfond and V. Lifschitz, "Classical negation in logic programs and disjunctive databases," New Generation Computing, 1991, pp. 365-385.
M. Gelfond, V. Lifschitz, H. Przymusinska and M. Truszczynski, "Disjunctive defaults," in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991, pp. 230-237.
V. Lifschitz, "Towards a metatheory of action," in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991, pp. 376-386.
V. Lifschitz and T. Woo, "Answer sets in general nonmonotonic reasoning (preliminary report)," in Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 1991, pp. 603-614.
V. Lifschitz, Editorial, Journal of Logic and Computation, Vol. 2, 1991, pp. 671-673.
V. Lifschitz, "Restricted monotonicity," in Proceedings of the Eleventh National Conference on Artificial Intelligence, 1993, pp. 432-437.
V. Lifschitz and G. Schwarz, "Extended logic programs as autoepistemic theories," in Logic Programming and Non-monotonic Reasoning: Proceedings of the Second International Workshop, 1993, pp. 101-114.
M. Gelfond and V. Lifschitz, "Representing action and change by logic programs," Journal of Logic Programming, Vol. 17, 1993, pp. 301-321.
V. Lifschitz, "Circumscription," in Handbook of Logic in AI and Logic Programming, Vol. 3, Oxford University Press, 1994, pp. 298-352.
V. Lifschitz, "Minimal belief and negation as failure," Artificial Intelligence, Vol. 70, 1994, pp. 53-72.
M. Gelfond, V. Lifschitz, H. Przymusinska and G. Schwarz, "Autoepistemic logic and introspective circumscription," in Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference, 1994, pp. 197-207.
G. N. Kartha and V. Lifschitz, "Actions with indirect effects (preliminary report)," in Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, 1994, pp. 341-350.
V. Lifschitz and H. Turner, "Splitting a logic program," in Proceedings of the Eleventh International Conference on Logic Programming, pp. 23-37, 1994.
V. Lifschitz and H. Turner, "From disjunctive programs to abduction," in Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence 927), 1995, pp. 23-42.
V. Lifschitz, "The logic of common sense," ACM Computing Surveys, Vol. 27, 1995, pp. 343-345.
V. Lifschitz, "Nested abnormality theories," Artificial Intelligence, Vol. 74, 1995, pp. 351-365.
V. Lifschitz, "SLDNF, constructive negation and grounding," in Proceedings of the Twelfth International Conference on Logic Programming, 1995, pp. 581-595.
V. Lifschitz, N. McCain, T. Przymusinski and R. Staerk, "Loop checking and the well-founded semantics," in Logic Programming and Non-Monotonic Reasoning: Proceedings of the Third International Conference, 1995, pp. 127-142.
E. Giunchiglia and V. Lifschitz, "Dependent fluents," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995, pp. 1964-1969.
G. N. Kartha and V. Lifschitz, "A simple formalization of actions using circumscription," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1970-1975, 1995.
V. Lifschitz, "ECWA made easy," Annals of Mathematics and Artificial Intelligence, Vol. 14, 1995, pp. 269-274.
Back to Lifschitz's web page