The following systems will be demonstrated during the demo/poster session Thursday, 13:30-15:00 (systems will be introduced by the session chair; presenters are not required to prepare a talk):
- Martin Gebser, Benjamin Kaufmann, Andre Neumann and Torsten Schaub. clasp: A Conflict-Driven Answer Set Solver
- Martin Gebser, Torsten Schaub and Sven Thiele. GrinGo: A New Grounder for Answer Set Programming
- Aaron Hunter, James Delgrande and Joel Faber. Using Answer Sets to Solve Belief Change Problems
- Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli and Domenico Trimboli. The LPOD System: Logic Programming meets Outlier Detection
- Giacomo Terreni, Paolo Mancarella, Francesca Toni and Fariba Sadri. Programming Applications in CIFF
- Phan Huy Tu, Tran Cao Son and Enrico Pontelli. CPP: A Constraint Logic Programming Based Planner with Preferences
- Gayathri Namasivayam and Miroslaw Truszczynski. Smodels System with Limited Lookahead Computation