CS395T, Spring 2005
Answer Set Programming

Instructor: Vladimir Lifschitz (vl@cs.utexas.edu)

Time and Place: TTh 11--12:30, TAY 3.144

Office Hours: TTh 1-2 and by appointment, TAY 3.150B

Class Handouts

• Course Description
• Answer Sets
• Methodology of Answer Set Programming
• Strong Negation and Planning
• Problems on Strong Equivalence
• Splitting

Answer Set Solvers

• SMODELS Home Page
• LPARSE User's Manual
• Answer Set Solver CMODELS

Papers

• Answer Sets for Propositional Theories
• Character-Based Cladistics and Answer Set Programming
• Rectilinear Steiner Tree Construction Using Answer Set Programming
• The USA-Advisor: A Case Study in Answer Set Planning