Presentations and Authors


Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Track:
 

Full Papers

Complexity-Sensitive Decision Procedures for Abstract Argumentation PDF
Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Belief Revision within Fragments of Propositional Logic PDF
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
Strong Equivalence of Qualitative Optimization Problems PDF
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities PDF
Nic Wilson, Radu Marinescu
Query Containment in Description Logics Reconsidered PDF
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Acyclicity Conditions and their Application to Query Answering in Description Logics PDF
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 PDF
Carsten Lutz, Inanc Seylan, Frank Wolter
Non-Uniform Data Complexity of Query Answering in Description Logics PDF
Carsten Lutz, Frank Wolter

Short Papers

Efficient Argumentation for Medical Decision-Making PDF
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
Forgetting in Logic Programs under Strong Equivalence PDF
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
Assertion Absorption in Object Queries over Knowledge Bases PDF
Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell