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
Track:
 

Frontmatter

Conference Committee PDF
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
Area Chairs and Program Committee PDF
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
Preface PDF
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
Vienna Summer of Logic PDF
Matthias Baaz, Thomas Eiter, Helmut Veith
Invited Talks PDF
Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila McIlraith
Tutorials PDF
Alessio R. Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati
Sponsors PDF
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter

Answer Set Programming and Logic Programming

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness PDF
Vernon Asuncion, Yan Zhang, Heng Zhang
Constructive Negation in Extensional Higher-Order Logic Programming PDF
Angelos Charalambidis, Panos Rondogiannis
The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited PDF
Marc Denecker, Joost Vennekens
The Semantics of Gringo and Infinitary Propositional Formulas PDF
Amelia J. Harrison, Vladimir Lifschitz, Fangkai Yang

Argumentation

An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation PDF
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses PDF
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
A Dynamic Logic Framework for Abstract Argumentation PDF
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
Characteristics of Multiple Viewpoints in Abstract Argumentation PDF
Paul E. Dunne, Wolfgang Dvorak, Thomas Linsbichler, Stefan Woltran

Automated Reasoning and Computation

The Parameterized Complexity of Reasoning Problems Beyond NP PDF
Ronald de Haan, Stefan Szeider
On OBDDs for CNFs of Bounded Treewidth PDF
Igor Razgon
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory PDF
Hannes Strass, Johannes Peter Wallner
Skolemization for Weighted First-Order Model Counting PDF
Guy Van den Broeck, Wannes Meert, Adnan Darwiche

Belief Revision and Nonmonotonicity

On Egalitarian Belief Merging PDF
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
Justified Beliefs by Justified Arguments PDF
Davide Grossi, Wiebe van der Hoek
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments PDF
Andreas Herzig
Belief Change and Base Dependence PDF
Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
Belief Change and Semiorders PDF
Pavlos Peppas, Mary-Anne Williams
David Poole's Specificity Revised PDF
Claus-Peter Wirth, Frieder Stolzenburg

Causality and Rationality

Axiomatizing Rationality PDF
Adam Bjorndahl, Joseph Halpern, Rafael Pass
Dynamic Causal Calculus PDF
Alexander Bochman
Appropriate Causal Models and Stability of Causation PDF
Joseph Halpern
EGuaranteeNash for Boolean Games Is NEXP-Hard PDF
Egor Ianovski, Luke Ong

Description Logics

Nested Regular Path Queries in Description Logics PDF
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
Decidable Gödel Description Logics without the Finitely-Valued Model Property PDF
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Query Inseparability for Description Logic Knowledge Bases PDF
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Answering Instance Queries Relaxed by Concept Similarity PDF
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Stable Model Semantics for Guarded Existential Rules and Description Logics PDF
Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
Polynomial Combined Rewritings for Existential Rules PDF
Georg Gottlob, Marco Manna, Andreas Pieris
Lightweight Description Logics and Branching Time: A Troublesome Marriage PDF
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Finite Model Reasoning in Horn Description Logics PDF
Yazmín Ibáñez García, Carsten Lutz, Thomas Schneider
Exact Learning of Lightweight Description Logic Ontologies PDF
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Nominal Schemas in Description Logics: Complexities Clarified PDF
Markus Krötzsch, Sebastian Rudolph
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference PDF
Michel Ludwig, Boris Konev

Knowledge Representation and Reasoning

Certain Answers as Objects and Knowledge PDF
Leonid Libkin
A Formalization of Programs in First-Order Logic with a Discrete Linear Order PDF
Fangzhen Lin
Simultaneous Learning and Prediction PDF
Loizos Michael
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs PDF
Peter Schüller
Generalized Multi-Context Systems PDF
Shahab Tasharrofi, Eugenia Ternovska
Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra PDF
Peng Zhang, Jochen Renz

Planning, Strategies, and Diagnosis

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals PDF
Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith
Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux PDF
Francesco Belardinelli
Reasoning about Equilibria in Game-Like Concurrent Systems PDF
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
A Temporal Logic of Strategic Knowledge PDF
Xiaowei Huang, Ron van der Meyden
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications PDF
Alessio Lomuscio, Jakub Michaliszyn

Reasoning about Actions and Processes

How to Progress Beliefs in Continuous Domains PDF
Vaishak Belle, Hector Levesque
Transforming Situation Calculus Action Theories for Optimised Reasoning PDF
Christopher James Ewin, Adrian R. Pearce, Stavros Vassos
State-Boundedness in Data-Aware Dynamic Systems PDF
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus PDF
Gerhard Lakemeyer, Hector J. Levesque
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations PDF
Fangzhen Lin
Model Checking Unbounded Artifact-Centric Systems PDF
Alessio Lomuscio, Jakub Michaliszyn
Forgetting in Action PDF
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 PDF
Mehul Bhatt, Carl Schultz, Madhura Thosar
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning PDF
Andrea Marrella, Massimo Mecella, Sebastian Sardina
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation PDF
Matthias Thimm

Uncertainty

Reasoning with Uncertain Inputs in Possibilistic Networks PDF
Salem Benferhat, Karim Tabia
Relational Logistic Regression PDF
Seyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan, David Poole
Probabilistic Sentential Decision Diagrams PDF
Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
Linear Programs for Measuring Inconsistency in Probabilistic Logics PDF
Nico Potyka

Short Papers

Axioms .2 and .4 as Interaction Axioms PDF
Guillaume Aucher
Stable Models of Multi-Valued Formulas: Partial versus Total Functions PDF
Michael Bartholomew, Joohyung Lee
Rough Set Semantics for Identity on the Web PDF
Wouter Beek, Stefan Schlobach, Frank van Harmelen
On the Progression of Knowledge in Multiagent Systems PDF
Vaishak Belle, Gerhard Lakemeyer
Interval Methods for Judgment Aggregation in Argumentation PDF
Richard Booth, Edmond Awad, Iyad Rahwan
Strong Equivalence of Non-Monotonic Temporal Theories PDF
Pedro Cabalar, Martín Diéguez
Using Answer Set Programming for Solving Boolean Games PDF
Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock, Ann Nowé
Towards a Knowledge Level Analysis of Forgetting PDF
James P. Delgrande
A Psychology-Inspired Approach to Automated Narrative Text Comprehension PDF
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller
Concept Dissimilarity with Triangle Inequality PDF
Felix Distel, Jamal Atif, Isabelle Bloch
On Redundant Topological Constraints PDF
Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long
Belief Revision in the Propositional Closure of a Qualitative Algebra PDF
Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs PDF
Sjur Kristoffer Dyrkolbotn
Knowledge Maps of Web Graphs PDF
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirro'
ASP Encodings of Acyclicity Properties PDF
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Tracking Beliefs and Intentions in the Werewolf Game PDF
Codruta Liliana Girlea, Eyal Amir, Roxana Girju
Representing and Reasoning about Time Travel Narratives: Foundational Concepts PDF
Leora Morgenstern
Aggregative Deontic Detachment for Normative Reasoning PDF
Xavier Parent, Leon van der Torre
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) PDF
Fabio Patrizi, Stavros Vassos
An Abductive Reasoning Approach to the Belief Bias Effect PDF
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
Minimal Change in AGM Revision for Non-Classical Logics PDF
Marcio Moretto Ribeiro, Renata Wassermann
Predicting Performance of OWL Reasoners: Locally or Globally? PDF
Viachaslau Sazonau, Uli Sattler, Gavin Brown
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas PDF
Yuping Shen, Xishun Zhao
Heuristic Guided Optimization for Propositional Planning PDF
Andreas Sideris, Yannis Dimopoulos
First-Order Default Logic Revisited PDF
Yi Zhou

Invited Talks

Ontology-Based Monitoring of Dynamic Systems PDF
Franz Baader
Datalog+/-: Questions and Answers PDF
Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris