Vladimir Lifschitz
Professor Emeritus
Research
Research Areas:
Research Interests:
- Computational logic
- Knowledge representation
Select Publications
2015. Abstract Gringo.
.2011. Stable Models and Circumscription.
.2006. Why Are There So Many Loop Formulas?.
.2004. Nonmonotonic Causal Theories.
.2001. Strongly Equivalent Logic Programs.
.Contact Info
Vladimir Lifschitz
Professor Emeritus, Professorship in Computer Sciences #2
(512) 471-9564
GDC 6.706