UTCS Artificial Intelligence
Labs
Projects
People
Publications
Talks
Software
Courses
Demos
Search
View by Position
View by lab
Paolo Ferraris
http://www.cs.utexas.edu/~otto
Alumni
Office:
TAY 3.150A
Email:
otto [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
Expressiveness of Answer Set Languages
Why the Monkey Needs the Box: a Serious Look at a Toy Domain
A New Perspective on Stable Models
See all publications
by Paolo Ferraris