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

Credibility-Limited Revision Operators in Propositional Logic PDF
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez
Ontology Evolution Under Semantic Constraints PDF
Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
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
Practical Reasoning with Nominals in the EL Family of Description Logics PDF
Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik
Conjunctive Query Answering with OWL 2 QL PDF
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
Ambiguous Language and Differences in Beliefs PDF
Joseph Halpern, Willemien Ket
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs PDF
Zeinab Bahmani, Leopoldo Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan
Temporal Composite Actions with Constraints PDF
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas

Short Papers

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
Stream Reasoning with Answer Set Programming: Preliminary Report PDF
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Towards Parallel Nonmonotonic Reasoning with Billions of Facts PDF
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas