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

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
Ambiguous Language and Differences in Beliefs PDF
Joseph Halpern, Willemien Ket
Automated Verification of Epistemic Properties for General Game Playing PDF
Sebastian Haufe, Michael Thielscher
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice PDF
Alban Grastien, Patrik Haslum, Sylvie Thiébaux
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning PDF
Jinbo Huang

Short Papers

Efficient Argumentation for Medical Decision-Making PDF
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
Justification Masking in Ontologies PDF
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Search Strategy Simulation in Constraint Booleanization PDF
Jinbo Huang
Assertion Absorption in Object Queries over Knowledge Bases PDF
Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell