Vladimir Lifschitz
Professor Emeritus
Research
Research Areas:
Research Interests:
- Computational logic
- Knowledge representation
Select Publications
M. Gebser, A. Harrison, R. Kaminski, V. Lifschitz and T. Schaub. 2015. Abstract Gringo.
P. Ferraris, J. Lee and V. Lifschitz. 2011. Stable Models and Circumscription.
V. Lifschitz and A. Razborov. 2006. Why Are There So Many Loop Formulas?.
E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner. 2004. Nonmonotonic Causal Theories.
V. Lifschitz, D. Pearce and A. Valverde. 2001. Strongly Equivalent Logic Programs.