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.
V. Lifschitz, D. Pearce and A. Valverde, "Strongly equivalent logic programs," ACM Transactions on Computational Logic, Vol. 2, 2001, pp. 526-541.
E. Erdem and V. Lifschitz, "Fages' theorem for programs with nested expressions," in Proceedings of the 2001 International Conference on Logic Programming, 2001, pp. 242-254.
V. Lifschitz, "On calculational proofs," Annals of Pure and Applied Logic, Vol. 113, 2002, pp. 207-224.
V. Lifschitz, "Answer set programming and plan generation," Artificial Intelligence, Vol. 138, 2002, pp. 39-54.
E. Erdem, V. Lifschitz, L. Nakhleh and D. Ringe, "Reconstructing the evolutionary history of Indo-European languages using answer set programming," In Practical Aspects of Declarative Languages: 5th International Symposium, 2003, pp. 160-176.
J. Campbell and V. Lifschitz, "Reinforcing a claim in commonsense reasoning," in Logical Formalizations of Commonsense Reasoning: Papers from 2003 AAAI Spring Symposium, 2003, pp. 51-56.
J. Lee and V. Lifschitz, "Describing additive fluents in action language C+," in Proc. IJCAI-03, 2003, pp. 1079-1084.
E. Erdem and V. Lifschitz, "Tight logic programs," Theory and Practice of Logic Programming, Vol. 3, 2003, pp. 499-518.
J. Lee and V. Lifschitz, "Loop formulas for disjunctive logic programs," in Proc. ICLP-03, 2003, pp. 451-465.
Back to Lifschitz's web page