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 |