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 |