Frontmatter
| 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 |