Faculty profile 2
- 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
- M. Gebser, A. Harrison, R. Kaminski, V. Lifschitz and T. Schaub, "Abstract Gringo", Theory and Practice of Logic Programming, Vol. 15, 2015.
- 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.
- Editorial Advisor, Theory and Practice of Logic Programming
- Member of the Editorial Board, Logical Methods in Computer Science
Lifschitz's research focuses on computational logic and knowledge representation.
Awards and Honors:
5 Most Important Recent Publications: