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

Invited Talks PDF
Craig Boutilier, Maurizio Lenzerini, Vladimir Lifschitz, Moshe Y. Vardi

Full Papers

Stable Models of Formulas with Intensional Functions PDF
Michael Bartholomew, Joohyung Lee
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
Credibility-Limited Revision Operators in Propositional Logic PDF
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez
Query Containment in Description Logics Reconsidered PDF
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Undecidability of Fuzzy Description Logics PDF
Stefan Borgwardt, Rafael Peñaloza
An Abstraction Technique for the Verification of Artifact-Centric Systems PDF
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Abstract Normative Systems: Semantics and Proof Theory PDF
Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata
Ordered Epistemic Logic: Semantics, Complexity and Applications PDF
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs PDF
Zeinab Bahmani, Leopoldo Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP PDF
Chitta Baral, Shanshan Liang
Abstracting Abstraction in Search with Applications to Planning PDF
Christer Backstrom, Peter Jonsson

Short Papers

Exchanging Description Logic Knowledge Bases PDF
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
Extending Unification in EL Towards General TBoxes PDF
Franz Baader, Stefan Borgwardt, Barbara Morawska
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation PDF
Chitta Baral, Juraj Dzifcak
Modelling Time and Reliability in Structured Argumentation Frameworks PDF
Maximiliano Celmo Budán, Mauro Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework PDF
Jianbing Ma, Salem Benferhat, Weiru Liu