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


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
Fixed-Parameter Algorithms for Finding Minimal Models PDF
Martin Lackner, Andreas Pfandler
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
Query Containment in Description Logics Reconsidered PDF
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
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
An Abstraction Technique for the Verification of Artifact-Centric Systems PDF
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Only-Knowing Meets Nonmonotonic Modal Logic PDF
Gerhard Lakemeyer, Hector J. Levesque
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
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
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

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