Papers by Vladimir Lifschitz

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.

S. Dogandag, P. Ferraris and V. Lifschitz, "Almost definite causal theories," in Proc. LPNMR-7, 2004, pp. 74-86.

S. Erdogan and V. Lifschitz, "Definitions in answer set programming," in Proc. LPNMR-7, 2004, pp. 114-126.

E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner, "Nonmonotonic causal theories," Artificial Intelligence, Vol. 153, 2004, pp. 49-104.

V. Akman, S. Erdogan, J. Lee, V. Lifschitz and H. Turner, "Representing the Zoo World and the Traffic World in the language of the Causal Calculator," Artificial Intelligence, Vol. 153, 2004, pp. 105-140.

V. Lifschitz and W. Ren, "Irrelevant actions in plan generation (extended abstract)," in Proceedings of the Ninth Ibero-American Workshops on Artificial Intelligence, 2004, pp. 71-78.

P. Ferraris and V. Lifschitz, "Weight constraints as nested expressions," Theory and Practice of Logic Programming, Vol. 5, 2005, pp. 45-74.

P. Ferraris and V. Lifschitz, "Mathematical foundations of answer set programming," in We Will Show Them! Essays in Honour of Dov Gabbay, Vol. 1, 2005, pp. 615-664.

J. Lee and V. Lifschitz, "A knowledge module: buying and selling", in Working Notes of the AAAI Symposium on Formalizing Background Knowledge, 2006.

S. Erdogan and V. Lifschitz, "Actions as special cases", in Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, 2006.

V. Lifschitz and W. Ren, "A modular action description language", in Proceedings of the Twenty-First National Conference on Artificial Intelligence, 2006.

V. Lifschitz and A. Razborov, "Why are there so many loop formulas?," ACM Transactions on Computational Logic, Vol. 7, 2006.

E. Erdem, V. Lifschitz and D. Ringe, "Temporal phylogenetic networks and logic programming," Theory and Practice of Logic Programming, Vol. 6, 2006.

P. Ferraris, J. Lee and V. Lifschitz, "A generalization of the Lin-Zhao theorem", Annals of Mathematics and Artificial Intelligence, Vol. 47, 2006.

P. Ferraris, J. Lee and V. Lifschitz, "A new perspective on stable models", in Proceedings of IJCAI-07, 2007.

S. Erdogan, P. Ferraris, V. Lifschitz and W. Ren, "Why the monkey needs the box: a serious look at a toy domain", in Working Notes of NRAC'07, 2007.

V. Lifschitz and W. Ren, "Variables in action descriptions: merging C+ with ADL", in Working Notes of Commonsense'07, 2007.

V. Lifschitz and W. Ren, "The semantics of variables in action descriptions", in Proceedings of AAAI-07, 2007.

V. Lifschitz, D. Pearce and A. Valverde, "A characterization of strong equivalence for logic programs with variables", in Proceedings of LPNMR-07, 2007.

V. Lifschitz, L. Morgenstern and D. Plaisted, "Knowledge representation and classical logic", in Handbook of Knowledge representation, Elsevier, 2008.

J. Lee, V. Lifschitz and R. Palla, "A reductive semantics for counting and choice in answer set programming", in Proceedings of AAAI-08, 2008.

V. Lifschitz, "What is answer set programming?", in Proceedings of AAAI-08, 2008.

J. Lee, V. Lifschitz and R. Palla, " Safe formulas in the general theory of stable models (preliminary report)", in Proceedings of ICLP-08, to appear.

V. Lifschitz, " Twelve definitions of a stable model", in Proceedings of ICLP-08, to appear.

P. Ferraris, J. Lee and V. Lifschitz, " Stable models and circumscription", Artificial Intelligence, to appear.

Yu. Lierler and V. Lifschitz, "Logic programs vs. first-order formulas in textual inference", unpublished draft.