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
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
Efficiently Computable Datalog∃ Programs PDF
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Logic Programs with Intensional Functions PDF
Vladimir Lifschitz
Answer Set Programming via Mixed Integer Programming PDF
Guohua Liu, Tomi Janhunen, Ilkka Niemela
On the Small-Scope Hypothesis for Testing Answer-Set Programs PDF
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
Complexity-Sensitive Decision Procedures for Abstract Argumentation PDF
Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Fixpoints and Iterated Updates in Abstract Argumentation PDF
Davide Grossi
On Unit-Refutation Complete Formulae with Existentially Quantified Variables PDF
Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis
Fixed-Parameter Algorithms for Finding Minimal Models PDF
Martin Lackner, Andreas Pfandler
A Generic Querying Algorithm for Greedy Sets of Existential Rules PDF
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Horn Belief Contraction: Remainders, Envelopes and Complexity PDF
Kira Adaricheva, Robert H. Sloan, Balász Szörényi, György Turán
Credibility-Limited Revision Operators in Propositional Logic PDF
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez
Belief Revision within Fragments of Propositional Logic PDF
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
Ontology Evolution Under Semantic Constraints PDF
Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
Belief Revision with Sensing and Fallible Actions PDF
James Delgrande, Hector J. Levesque
Robust Equivalence Models for Semantic Updates of Answer-Set Programs PDF
Martin Slota, João Leite
Model Based Horn Contraction PDF
Zhiqiang Zhuang, Maurice Pagnucco
Paradoxes of Multiple Elections: An Approximation Approach PDF
Vincent Conitzer, Lirong Xia
Strong Equivalence of Qualitative Optimization Problems PDF
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran
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
Query Containment in Description Logics Reconsidered PDF
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Undecidability of Fuzzy Description Logics PDF
Stefan Borgwardt, Rafael Peñaloza
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
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs PDF
Georg Gottlob, Thomas Schwentick
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
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
High Performance Query Answering over DL-Lite Ontologies PDF
Mariano Rodriguez-Muro, Diego Calvanese
An Abstraction Technique for the Verification of Artifact-Centric Systems PDF
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
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
Only-Knowing Meets Nonmonotonic Modal Logic PDF
Gerhard Lakemeyer, Hector J. Levesque
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
Paraconsistent Hybrid Theories PDF
Michael Fink
Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction PDF
Henri Prade, Gilles Richard
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP PDF
Chitta Baral, Shanshan Liang
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming PDF
Vinay K. Chaudhri, Tran Cao Son
Generalized Ontology-Based Production Systems PDF
Riccardo Rosati, Enrico Franconi
Abstracting Abstraction in Search with Applications to Planning PDF
Christer Backstrom, Peter Jonsson
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments PDF
Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio
Bounded Situation Calculus Action Theories and Decidable Verification PDF
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
Temporal Composite Actions with Constraints PDF
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
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
Implicit Constraints for Qualitative Spatial and Temporal Reasoning PDF
Jochen Renz
Stable Models in Generalized Possibilistic Logic PDF
Didier Dubois, Henri Prade, Steven Schockaert
A Bipolar Framework for Combining Beliefs about Vague Propositions PDF
Jonathan Lawry, Didier Dubois
JASP: A Framework for Integrating Answer Set Programming with Java PDF
Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca
The Winograd Schema Challenge PDF
Hector Levesque, Ernest Davis, Leora Morgenstern

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
The Complexity of Explaining Negative Query Answers in DL-Lite PDF
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis PDF
Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar
Weighted Attacks in Argumentation Frameworks PDF
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
Efficient Argumentation for Medical Decision-Making PDF
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
Compositional Belief Merging PDF
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
Worst-Case Optimal Reasoning with Forest Logic Programs PDF
Cristina Feier
Stream Reasoning with Answer Set Programming: Preliminary Report PDF
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Achieving Completeness in Bounded Model Checking of Action Theories in ASP PDF
Laura Giordano, Alberto Martelli, Daniele Theseider Dupre'
Justification Masking in Ontologies PDF
Matthew Horridge, Bijan Parsia, Ulrike Sattler
Search Strategy Simulation in Constraint Booleanization PDF
Jinbo Huang
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework PDF
Jianbing Ma, Salem Benferhat, Weiru Liu
Towards Parallel Nonmonotonic Reasoning with Billions of Facts PDF
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
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