Vladimir Lifschitz

GDC 3.808
(512) 471-9564
vl [at] cs [dot] utexas [dot] edu

Lifschitz's research focuses on computational logic and knowledge representation.

UTCS Research Areas: 
Selected Awards & Honors: 
  • Fellow, Association for the Advancement of Artificial Intelligence
  • Most Influential Paper in 20 Years Award from the Association for Logic Programming 
  • Teaching Excellence Award from the College of Natural Sciences
Selected Publications: 
  • P. Ferraris, J. Lee and V. Lifschitz, "Stable Models and Circumscription", Artificial Intelligence, Vol. 175, 2011.
  • V. Lifschitz and A. Razborov, "Why Are There So Many Loop Formulas?", ACM Transactions on Computational Logic, Vol. 7, 2006. 
  • E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner, "Nonmonotonic Causal Theories", Artificial Intelligence, Vol. 153, 2004.
  • V. Lifschitz, D. Pearce and A. Valverde, "Strongly Equivalent Logic Programs", ACM Transactions on Computational Logic, Vol. 2, 2001. 
  • M. Gelfond and V. Lifschitz, "The Stable Model Semantics for Logic Programming", Proceedings of International Logic Programming Conference and Symposium, 1988.