UTCS Artificial Intelligence
Labs
Projects
People
Publications
Talks
Software
Courses
Demos
Search
View by Position
View by lab
Vladimir Lifschitz
http://www.cs.utexas.edu/~vl
Professor
Office:
TAY 4.122
Email:
vl [at] cs utexas edu
Is a member of:
Texas Action Group
Recent publications:
Symmetric Splitting in the General Theory of Stable Models
Stable Models and Circumscription
Additive Fluents
Safe Formulas in the General Theory of Stable Models (preliminary report)
Twelve Definitions of a Stable Model
See all publications
by Vladimir Lifschitz
