Email:vl [at] cs [dot] utexas [dot] edu
Lifschitz's research focuses on computational logic and knowledge representation.
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
- 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.
- Awards & Honors
- About Us
- Student Engagement and Support
- Masters Program
- Ph.D. Program
- Financial Information
- Prospective Students
- Incoming Students
- Current Students
- Portfolio Program in Robotics
- Curricular Practical Training
- Grad Student Talks
- UTCS Direct