Rome, Italy
Principles of Knowledge Representation and Reasoning
submission
submission
Jan 11-13
opens
ready
opens
Program
SUNDAY, JUNE 10
10:00-13:15: TUTORIALS (IN PARALLEL) (with 11:30-11:45 Coffee Break)
Modeling and Solving in Answer Set Programming - room B1
Torsten Schaub
Graph-Based Methods for Problem Decomposition - room B2
Georg Gottlob, Gianluigi Greco, Francesco Scarcello
14:30-17:45 TUTORIALS (IN PARALLEL) (with 16:00-16:15 Coffee Break)
Introduction to Social Choice - room B1
Jerome Lang
IBM Watson - room B2
Alfio M. Gliozzo
MONDAY, JUNE 11
09:00-10:00 LECTURE IN REMEMBRANCE OF JOHN MCCARTHY - room A
Through the Lens of Drosophila:
John McCarthy's Quest for Human-Level Artificial Intelligence
Leora Morgenstern
10:30-12:30 TECHNICAL SESSIONS (IN PARALLEL)
Belief Revision I - room A
Horn Belief Contraction: Remainders, Envelopes and Complexity
Kira Adaricheva, Robert Sloan, Balazs Szorenyi, Gyorgy Turan
Model Based Horn Contraction
Zhiqiang Zhuang, Maurice Pagnucco
Credibility-Limited Revision Operators in Propositional Logic
Richard Booth, Eduardo Ferme, Sébastien Konieczny and Ramon Pino Perez
Belief Revision with Sensing and Fallible Actions
James P. Delgrande, Hector J. Levesque
Decision Making and Reasoning about Preferences - room B
Paradoxes of Multiple Elections: An Approximation Approach
Vincent Conitzer, Lirong Xia
Strong Equivalence of Qualitative Optimization Problems
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions
Stefano Moretti and Alexis Tsoukiàs
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities
Nic Wilson, Radu Marinescu
14:00-15:30 SHORT PAPER PRESENTATIONS (2 SESSIONS IN PARALLEL)
SESSION A - room A
- Description Logics
Justification Masking in Ontologies
Matthew Horridge, Bijan Parsia and Ulrike Sattler
The Complexity of Explaining Negative Query Answers in DL-Lite
Diego Calvanese, Magdalena Ortiz, Mantas Simkus and Giorgio Stefanoni
Exchanging Description Logic Knowledge Bases
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov and Evgeny Sherkhonov
Extending Unification in EL towards General TBoxes
Franz Baader, Stefan Borgwardt and Barbara Morawska
- Belief Revision
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework
Jianbing Ma, Salem Benferhat and Weiru Liu
Compositional Belief Merging
Patricia Everaere, Sébastien Konieczny and Pierre Marquis
- Argumentation
Weighted Attacks in Argumentation Frameworks
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis and Mohand Akli
Modelling Time and Reliability in Structured Argumentation Frameworks
Maximiliano Celmo David Budán, Mauro Gómez Lucero, Carlos Iván Chesñevar and Guillermo Ricardo Simari
Efficient Argumentation for Medical Decision-Making
Robert Craven, Francesca Toni, Adrian Hadad and Matthew Williams
SESSION B - room B
- Reasoning and Search
Search Strategy Simulation in Constraint Booleanization
Jinbo Huang
Stream Reasoning with Answer Set Programming: Preliminary Report
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu and Torsten Schaub
Towards Parallel Nonmonotonic Reasoning with Billions of Facts
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris and Spyros Kotoulas
Assertion Absorption in Object Queries over Knowledge Bases
Jiewen Wu, Alexander Hudek, David Toman and Grant Weddell
- Logic Programming
Forgetting in Logic Programs under Strong Equivalence
Yisong Wang, Yan Zhang, Yi Zhou and Mingyi Zhang
Worst-case Optimal Reasoning with Forest Logic Programs
Cristina Feier
- Principled Applications
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis
Anthony G. Cohn, Jochen Renz and Muralikrishna Sridhar
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning how to do that Translation
Chitta Baral and Juraj Dzifcak
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
Laura Giordano, Alberto Martelli and Daniele Theseider Dupre'
16:00-17:00 TECHNICAL SESSIONS (IN PARALLEL)
Uncertainty - room A
A Bipolar Framework for Combining Beliefs about Vague Propositions
Jonathan Lawry, Didier Dubois
Stable Models in Generalized Possibilistic Logic
Didier Dubois, Henri Prade, Steven Schockaert
Reports from the Field - room B
JASP: A Framework for Integrating Answer Set Programming with Java
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Francesco Ricca
The Winograd Schema Challenge
Hector J. Levesque, Ernest Davis, Leora Morgenstern
Logic Programming Solution to the Frame Problem
Vladimir Lifschitz
TUESDAY, JUNE 12
09:00-10:00 INVITED TALK - room A
Preference Elicitation and Preference Learning in Social Choice:
New Foundations for Group Recommendation
Craig Boutilier
10:30-12:30 TECHNICAL SESSIONS (IN PARALLEL)
Description Logics I - room A
Query Containment in Description Logics Reconsidered
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Undecidability of Fuzzy Description Logics
Stefan Borgwardt and Rafael Peñaloza
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL
Carsten Lutz, Inanc Seylan, Frank Wolter
Practical Reasoning with Nominals in the EL Family of Description Logics
Yevgeny Kazakov, Markus Krötzsch and Frantisek Simancik
Answer Set Programming and Logic Programming - room B
Logic Programs with Intensional Functions
Vladimir Lifschitz
Stable Models of Formulas with Intensional Functions
Michael Bartholomew, Joohyung Lee
Answer Set Programming via Mixed Integer Programming
Guohua Liu, Tomi Janhunen, Ilkka Niemela
On the Small-Scope Hypothesis for Testing Answer-Set Programs
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer and Hans Tompits
14:00-15:30 TECHNICAL SESSIONS (IN PARALLEL)
Inconsistency-Tolerant and Similarity-Based Reasoning - room A
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs
Zeinab Bahmani, Leopoldo Bertossi, Solmaz Kolahi, Laks V.S. Lakshmanan
Paraconsistent Hybrid Theories
Michael Fink
Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction
Henri Prade, Gilles Richard
Knowledge Representation and Knowledge-Based Systems - room B
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP
Chitta Baral, Shanshan Liang
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming
Vinay K. Chaudhri, Tran Cao Son
Generalized Ontology-Based Production Systems
Riccardo Rosati, Enrico Franconi
WEDNESDAY, JUNE 13
09:00-10:00 INVITED TALK - room A
The Rise and Fall of Linear Temporal Logic
Moshe Y. Vardi
10:30-12:30 TECHNICAL SESSIONS (IN PARALLEL)
Epistemic Logics - room A
Ambiguous Language and Differences in Beliefs
Joseph Y. Halpern, Willemien Kets
Automated Verification of Epistemic Properties for General Game Playing
Sebastian Haufe, Michael Thielscher
Only-Knowing Meets Nonmonotonic Modal Logic
Gerhard Lakemeyer, Hector J. Levesque
Ordered Epistemic Logic: Semantics, Complexity and Applications
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
Automated Reasoning and Computation - room B
On Unit-Refutation Complete Formulae with Existentially Quantified Variables
Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis
Fixed-Parameter Algorithms for Finding Minimal Models
Martin Lackner, Andreas Pfandler
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Michail Thomazo, Jean-Franaois Baget, Marie-Laure Mugnier, Sebastian Rudolph
Efficiently Computable Datalog^E Programs
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
14:00-15:30 TECHNICAL SESSIONS (IN PARALLEL)
Belief Revision II - room A
Belief Revision within Fragments of Propositional Logic
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
Ontology Evolution under Semantic Constraints
Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
Robust Equivalence Models for Semantic Updates of Answer-Set Programs
Martin Slota, Joao Leite
Abstraction and Diagnosis - room B
An Abstraction Technique for the Verification of Artifact-Centric Systems
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
Abstract Normative Systems: Semantics and Proof Theory
Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice
Alban Grastien, Patrik Haslum, Sylvie Thiebaux
16:00-17:30 POSTERS - SHORT PAPERS & DOCTORAL CONSORTIUM - roof garden
17:30-18:30 INVITED TALK - room A
Ontology-Based Data Management: Present and Future
Maurizio Lenzerini
THURSDAY, JUNE 14
09:00-10:00 TECHNICAL SESSIONS (IN PARALLEL)
Argumentation - room A
Complexity-Sensitive Decision Procedures for Abstract Argumentation
Wolfgang Dvorak, Matti Jervisalo, Johannes Peter Wallner, Stefan Woltran
Fixpoints and Iterated Updates in Abstract Argumentation
Davide Grossi
Spatial and Temporal Reasoning - room B
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning
Jinbo Huang
Implicit Constraints for Qualitative Spatial and Temporal Reasoning
Jochen Renz
10:30-13:15 TECHNICAL SESSIONS (IN PARALLEL) (with 11:30-11:45 break)
Description Logics II - room A
Acyclicity Conditions and Their Application to Query Answering in Description Logics
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik and Zhe Wang
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
Georg Gottlob, Thomas Schwentick
Conjunctive Query Answering with OWL 2 QL
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
Non-Uniform Data Complexity of Query Answering in Description Logics
Carsten Lutz, Frank Wolter
High Performance Query Answering over DL-Lite Ontologies
Mariano Rodriguez-Muro, Diego Calvanese
Reasoning about Actions and Planning - room B
Temporal Composite Actions with Constraints
Patrick Doherty, Jonas Kvarnström and Andrzej Szalas
Abstracting Abstraction in Search with Applications to Planning
Christer Bäckström and Peter Jonsson
Synthesizing Agent Protocols from LTL Specifications against Multiple Partially-Observable Environments
Giuseppe De Giacomo, Paolo Felli, Alessio Lomuscio
Bounded Situation Calculus Action Theories and Decidable Verification
Giuseppe De Giacomo, Yves Lespérance and Fabio Patrizi