Full Papers
| Credibility-Limited Revision Operators in Propositional Logic | |
| Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez |
| Strong Equivalence of Qualitative Optimization Problems | |
| Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran |
| Paraconsistent Hybrid Theories | |
| Michael Fink |
| Generalized Ontology-Based Production Systems | |
| Riccardo Rosati, Enrico Franconi |
| Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments | |
| Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio |
| JASP: A Framework for Integrating Answer Set Programming with Java | |
| Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca |
Short Papers
| Worst-Case Optimal Reasoning with Forest Logic Programs | |
| Cristina Feier |
| Towards Parallel Nonmonotonic Reasoning with Billions of Facts | |
| Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas |