Papers by Vladimir Lifschitz

M. Gelfond and V. Lifschitz, "Classical negation in logic programs and disjunctive databases," New Generation Computing, pp. 365-385, 1991.

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, pp. 230-237, 1991.

V. Lifschitz, "Towards a metatheory of action," in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pp. 376-386, 1991.

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, pp. 603-614, 1992.

V. Lifschitz, Editorial, Journal of Logic and Computation, Vol. 2, pp. 671-673, 1992.

V. Lifschitz, "Restricted monotonicity," in Proceedings of the Eleventh National Conference on Artificial Intelligence, pp. 432-437, 1993.

V. Lifschitz and G. Schwarz, "Extended logic programs as autoepistemic theories," in Logic Programming and Non-monotonic Reasoning: Proceedings of the Second International Workshop, pp. 101-114, 1993.

M. Gelfond and V. Lifschitz, "Representing action and change by logic programs," Journal of Logic Programming, Vol. 17, pp. 301-321, 1993.

V. Lifschitz, "Circumscription," in Handbook of Logic in AI and Logic Programming, Vol. 3, Oxford University Press, pp. 298-352, 1994.

V. Lifschitz, "Minimal belief and negation as failure," Artificial Intelligence,
Vol. 70, pp. 53-72, 1994.

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, pp. 197-207, 1994.

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, pp. 341-350, 1994.

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), pp. 23-42, 1995.

V. Lifschitz, "The logic of common sense," ACM Computing Surveys, Vol. 27, pp. 343-345, 1995.

V. Lifschitz, "Nested abnormality theories," Artificial Intelligence, Vol. 74, pp. 351-365, 1995.

V. Lifschitz, "SLDNF, constructive negation and grounding," in Proceedings of the Twelfth International Conference on Logic Programming, pp. 581-595, 1995.

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, pp. 127-142, 1995.

E. Giunchiglia and V. Lifschitz, "Dependent fluents," in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1964-1969, 1995.

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, pp. 269-274, 1995.

V. Lifschitz, "Foundations of logic programming," in Principles of Knowledge Representation, CSLI Publications, pp. 69-127, 1996.

E. Giunchiglia, N. Kartha and V. Lifschitz, "Representing action: indeterminacy and ramifications," Artificial Intelligence, Vol. 95, pp. 409-443, 1997.

V. Lifschitz, "On the logic of causal explanation," Artificial Intelligence, Vol. 96, pp. 451-465, 1997.

V. Lifschitz, "Two components of an action language," Annals of Mathematics and Artificial Intelligence, Vol. 21, pp. 305-320, 1997.

V. Lifschitz, A problem in automated reasoning: Simplifying formulas of classical logic. Unpublished draft, 1997.

V. Lifschitz, A calculational deductive system for propositional logic. Unpublished draft, 1997.

V. Lifschitz, "Situation calculus and causal logic," in Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, pp. 536-646, 1998.

V. Lifschitz, L. R. Tang and H. Turner, "Nested expressions in logic programs," in Working Notes of the Seventh International Workshop on Nonmonotonic Reasoning, 1998.

E. Giunchiglia and V. Lifschitz, "An action language based on causal explanation: preliminary report," in Proc. AAAI-98, 1998 (to appear).

V. Lifschitz, Cracking an egg: an exercise in formalizing commonsense reasoning. Unpublished draft, 1998.

V. Lifschitz, Action languages, answer sets and planning. Unpublished draft, 1998.