Invited talk
-
Marc Denecker: Unifying Abductive Logic Programming and Stable Logic
Programming
[PS]
Accepted papers
- P.A. Bonatti:
Abduction, ASP and Open Logic Programs
[PS]
- Pedro Cabalar:
Alternative Characterizations for Strong Equivalence of Logic Programs
[PS]
- F. Calimeri, W. Faber, N. Leone, and G. Pfeifer:
Pruning Operators for Answer Set Programming Systems
[PS]
- Thomas Linke, Christian Anger, and Katrin Konczak:
More on noMoRe
[PS]
- Victor W. Marek and Jeffrey B. Remmel:
On Logic Programs with Cardinality Constraints
[PS]
- Ken Satoh:
Speculative Computation and Abduction for an Autonomous Agent
[PS]
- Torsten Schaub and Kewen Wang:
Preferred Well-Founded Semantics for Logic Programming
by Alternating Fixpoints: Preliminary Report
[PS]
- Sibylle Schwarz:
Answer Sets Generated by Selector Functions
[PS]