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.