V. Lifschitz, "Foundations of logic programming," in Principles of Knowledge Representation, CSLI Publications, 1996, pp. 69-127.
E. Giunchiglia, N. Kartha and V. Lifschitz, "Representing action: indeterminacy and ramifications," Artificial Intelligence, Vol. 95, 1997, pp. 409-443.
V. Lifschitz, "On the logic of causal explanation," Artificial Intelligence, Vol. 96, 1997, pp. 451-465.
V. Lifschitz, "Two components of an action language," Annals of Mathematics and Artificial Intelligence, Vol. 21, 1997, pp. 305-320.
V. Lifschitz, "Situation calculus and causal logic," in Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, 1998, pp. 536-646.
E. Giunchiglia and V. Lifschitz, "An action language based on causal explanation: preliminary report," in Proc. AAAI-98, 1998, pp. 623-630.
M. Gelfond and V. Lifschitz, "Action languages," Electronic Transactions on AI, Vol. 3, No. 16, 1998.
V. Lifschitz, "Action languages, answer sets and planning," in The Logic Programming Paradigm: a 25-Year Perspective, Springer Verlag, 1999, pp. 357-373.
V. Lifschitz, "Success of default logic," in Logical Foundations for Cognitive Agents: Contributions in Honour of Ray Reiter, pp. 208-212, Springer Verlag, 1999.
E. Giunchiglia and V. Lifschitz, "Action languages, temporal action logics and the situation calculus," in Working Notes of the IJCAI-99 Workshop on Nonmonotonic Reasoning, Action, and Change, 1999.
V. Lifschitz and H. Turner, "Representing transition systems by logic programs," in Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning, 1999, pp. 92-106.
E. Erdem and V. Lifschitz, "Transformations of logic programs related to causality and planning," in Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning, 1999, pp. 107-116.
V. Lifschitz, "Answer set planning," in Proceedings of the 1999 International Conference on Logic Programming, 1999, pp. 23-37.
V. Lifschitz, L. R. Tang and H. Turner, "Nested expressions in logic programs," Annals of Mathematics and Artificial Intelligence, Vol. 25, 1999, pp. 369-389.
V. Lifschitz, "Missionaries and cannibals in the causal calculator," in Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference, 2000, pp. 85-96.
Yu. Babovich, E. Erdem and V. Lifschitz, "Fages' theorem and answer set programming," in Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, 2000.
E. Erdem, V. Lifschitz and M. Wong, "Wire routing and satisfiability planning," in Proc. CL-2000, 2000.
V. Lifschitz, " Book review: M. Shanahan, Solving the Frame Problem," Artificial Intelligence, Vol. 123, 2000, pp. 265-268.
V. Lifschitz, N. McCain, E. Remolina and A. Tacchella, "Getting to the airport: the oldest planning problem in AI," in Logic-Based Artificial Intelligence, Kluwer, 2000, pp. 147-165.
Back to Lifschitz's web page