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