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 |