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