Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR2014)
Edited by Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter
Vienna, Austria, July 20–24, 2014.
Published by The AAAI Press, Palo Alto, California. This proceedings is also available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Conference Committee
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
Area Chairs and Program Committee
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
Preface
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
Vienna Summer of Logic
Matthias Baaz, Thomas Eiter, Helmut Veith
Invited Talks
Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila McIlraith
Tutorials
Alessio R. Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati
Sponsors
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
Answer Set Programming and Logic Programming
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness
Vernon Asuncion, Yan Zhang, Heng Zhang
Constructive Negation in Extensional Higher-Order Logic Programming
Angelos Charalambidis, Panos Rondogiannis
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited
Marc Denecker, Joost Vennekens
The Semantics of Gringo and Infinitary Propositional Formulas
Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang
Argumentation
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
A Dynamic Logic Framework for Abstract Argumentation
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
Characteristics of Multiple Viewpoints in Abstract Argumentation
Paul E. Dunne, Wolfgang Dvorak, Thomas Linsbichler, Stefan Woltran
Automated Reasoning and Computation
The Parameterized Complexity of Reasoning Problems Beyond NP
Ronald de Haan, Stefan Szeider
On OBDDs for CNFs of Bounded Treewidth
Igor Razgon
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Hannes Strass, Johannes Peter Wallner
Skolemization for Weighted First-Order Model Counting
Guy Van den Broeck, Wannes Meert, Adnan Darwiche
Belief Revision and Nonmonotonicity
On Egalitarian Belief Merging
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
Justified Beliefs by Justified Arguments
Davide Grossi, Wiebe van der Hoek
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments
Andreas Herzig
Belief Change and Base Dependence
Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
Belief Change and Semiorders
Pavlos Peppas, Mary-Anne Williams
David Poole's Specificity Revised
Claus-Peter Wirth, Frieder Stolzenburg
Causality and Rationality
Axiomatizing Rationality
Adam Bjorndahl, Joseph Halpern, Rafael Pass
Dynamic Causal Calculus
Alexander Bochman
Appropriate Causal Models and Stability of Causation
Joseph Halpern
EGuaranteeNash for Boolean Games Is NEXP-Hard
Egor Ianovski, Luke Ong
Description Logics
Nested Regular Path Queries in Description Logics
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Decidable Gödel Description Logics without the Finitely-Valued Model Property
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Query Inseparability for Description Logic Knowledge Bases
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Answering Instance Queries Relaxed by Concept Similarity
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Stable Model Semantics for Guarded Existential Rules and Description Logics
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
Polynomial Combined Rewritings for Existential Rules
Georg Gottlob, Marco Manna, Andreas Pieris
Lightweight Description Logics and Branching Time: A Troublesome Marriage
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Finite Model Reasoning in Horn Description Logics
Yazmín Ibáñez García, Carsten Lutz, Thomas Schneider
Exact Learning of Lightweight Description Logic Ontologies
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Nominal Schemas in Description Logics: Complexities Clarified
Markus Krötzsch, Sebastian Rudolph
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
Michel Ludwig, Boris Konev
Knowledge Representation and Reasoning
Certain Answers as Objects and Knowledge
Leonid Libkin
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Fangzhen Lin
Simultaneous Learning and Prediction
Loizos Michael
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs
Peter Schüller
Generalized Multi-Context Systems
Shahab Tasharrofi, Eugenia Ternovska
Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra
Peng Zhang, Jochen Renz
Planning, Strategies, and Diagnosis
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals
Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith
Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux
Francesco Belardinelli
Reasoning about Equilibria in Game-Like Concurrent Systems
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
A Temporal Logic of Strategic Knowledge
Xiaowei Huang, Ron van der Meyden
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications
Alessio Lomuscio, Jakub Michaliszyn
Reasoning about Actions and Processes
How to Progress Beliefs in Continuous Domains
Vaishak Belle, Hector Levesque
Transforming Situation Calculus Action Theories for Optimised Reasoning
Christopher James Ewin, Adrian R. Pearce, Stavros Vassos
State-Boundedness in Data-Aware Dynamic Systems
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus
Gerhard Lakemeyer, Hector J. Levesque
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
Fangzhen Lin
Model Checking Unbounded Artifact-Centric Systems
Alessio Lomuscio, Jakub Michaliszyn
Forgetting in Action
David Rajaratnam, Hector Levesque, Maurice Pagnucco, Michael Thielscher
Reports from the Field
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design
Mehul Bhatt, Carl Schultz, Madhura Thosar
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning
Andrea Marrella, Massimo Mecella, Sebastian Sardina
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation
Matthias Thimm
Uncertainty
Reasoning with Uncertain Inputs in Possibilistic Networks
Salem Benferhat, Karim Tabia
Relational Logistic Regression
Seyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan, David Poole
Probabilistic Sentential Decision Diagrams
Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
Linear Programs for Measuring Inconsistency in Probabilistic Logics
Nico Potyka
Short Papers
Axioms .2 and .4 as Interaction Axioms
Guillaume Aucher
Stable Models of Multi-Valued Formulas: Partial versus Total Functions
Michael Bartholomew, Joohyung Lee
Rough Set Semantics for Identity on the Web
Wouter Beek, Stefan Schlobach, Frank van Harmelen
On the Progression of Knowledge in Multiagent Systems
Vaishak Belle, Gerhard Lakemeyer
Interval Methods for Judgment Aggregation in Argumentation
Richard Booth, Edmond Awad, Iyad Rahwan
Strong Equivalence of Non-Monotonic Temporal Theories
Pedro Cabalar, Martín Diéguez
Using Answer Set Programming for Solving Boolean Games
Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé
Towards a Knowledge Level Analysis of Forgetting
James P. Delgrande
A Psychology-Inspired Approach to Automated Narrative Text Comprehension
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller
Concept Dissimilarity with Triangle Inequality
Felix Distel, Jamal Atif, Isabelle Bloch
On Redundant Topological Constraints
Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long
Belief Revision in the Propositional Closure of a Qualitative Algebra
Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs
Sjur Kristoffer Dyrkolbotn
Knowledge Maps of Web Graphs
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirro'
ASP Encodings of Acyclicity Properties
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Tracking Beliefs and Intentions in the Werewolf Game
Codruta Liliana Girlea, Eyal Amir, Roxana Girju
Representing and Reasoning about Time Travel Narratives: Foundational Concepts
Leora Morgenstern
Aggregative Deontic Detachment for Normative Reasoning
Xavier Parent, Leon van der Torre
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
Fabio Patrizi, Stavros Vassos
An Abductive Reasoning Approach to the Belief Bias Effect
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
Minimal Change in AGM Revision for Non-Classical Logics
Marcio Moretto Ribeiro, Renata Wassermann
Predicting Performance of OWL Reasoners: Locally or Globally?
Viachaslau Sazonau, Uli Sattler, Gavin Brown
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas
Yuping Shen, Xishun Zhao
Heuristic Guided Optimization for Propositional Planning
Andreas Sideris, Yannis Dimopoulos
First-Order Default Logic Revisited
Yi Zhou
Invited Talks
Ontology-Based Monitoring of Dynamic Systems
Franz Baader
Datalog+/-: Questions and Answers
Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.