Full Papers
| Complexity-Sensitive Decision Procedures for Abstract Argumentation | |
| Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran |
| Belief Revision within Fragments of Propositional Logic | |
| Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran |
| Strong Equivalence of Qualitative Optimization Problems | |
| Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran |
| An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities | |
| Nic Wilson, Radu Marinescu |
| Query Containment in Description Logics Reconsidered | |
| Meghyn Bienvenu, Carsten Lutz, Frank Wolter |
| Acyclicity Conditions and their Application to Query Answering in Description Logics | |
| Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
| An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL | |
| Carsten Lutz, Inanc Seylan, Frank Wolter |
| Non-Uniform Data Complexity of Query Answering in Description Logics | |
| Carsten Lutz, Frank Wolter |
Short Papers
| Efficient Argumentation for Medical Decision-Making | |
| Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams |
| Forgetting in Logic Programs under Strong Equivalence | |
| Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang |
| Assertion Absorption in Object Queries over Knowledge Bases | |
| Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell |