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:
 

Frontmatter

Conference Committee PDF () PDF
Sheila McIlraith, Thomas Eiter
Area Chairs and Program Committee PDF
Sheila McIlraith, Thomas Eiter
Preface PDF
Sheila McIlraith, Thomas Eiter
Lecture in Remembrance of John McCarthy PDF
Leora Morgenstern

Full Papers

Efficiently Computable Datalog∃ Programs PDF
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
On Unit-Refutation Complete Formulae with Existentially Quantified Variables PDF
Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis
A Generic Querying Algorithm for Greedy Sets of Existential Rules PDF
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions PDF
Stefano Moretti, Alexis Tsoukiàs
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities PDF
Nic Wilson, Radu Marinescu
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
The Winograd Schema Challenge PDF
Hector Levesque, Ernest Davis, Leora Morgenstern

Short Papers

Extending Unification in EL Towards General TBoxes PDF
Franz Baader, Stefan Borgwardt, Barbara Morawska
Weighted Attacks in Argumentation Frameworks PDF
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
Compositional Belief Merging PDF
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
Achieving Completeness in Bounded Model Checking of Action Theories in ASP PDF
Laura Giordano, Alberto Martelli, Daniele Theseider Dupre'
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework PDF
Jianbing Ma, Salem Benferhat, Weiru Liu