Accepted Papers

Long
  • Amelia Harrison, Vladimir Lifschitz, David Pearce and Agustin Valverde: Infinitary Equilibrium Logic and Strong Equivalence
  • Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner and Kostyantyn Shchekotykhin: OOASP: Connecting Object-oriented and Logic Programming
  • Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt and Torsten Schaub: Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics
  • Benjamin Andres, David Rajaratnam, Orkunt Sabuncu and Torsten Schaub: Integrating ASP into ROS for Reasoning in Robots
  • Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca and Kostyantyn Shchekotykhin: Interactive debugging of non-ground ASP programs
  • Claudia Schulz, Ken Satoh and Francesca Toni: Characterising and Explaining Inconsistency in Logic Programs
  • Daniela Inclezan: On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM
  • Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda and Alessandra Russo: Automated inference of rules with exception from past legal cases using ASP
  • Emmanuelle-Anna Dietz and Steffen Hölldobler: A New Computational Logic Approach to Reason with Conditionals
  • Esra Erdem, Volkan Patoglu and Zeynep Gozen Saribatur: Diagnostic Reasoning for Robotics using Action Languages
  • Gerhard Brewka, James Delgrande, Javier Romero and Torsten Schaub: Implementing preferences with asprin
  • Günther Charwat and Stefan Woltran: Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams
  • Jeffrey Remmel and Alex Brik: Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP
  • Joseph Babb and Joohyung Lee: Online Action Language oBC+
  • Marc Denecker, Gerhard Brewka and Hannes Strass: A Formal Theory of Justifications
  • Mario Alviano, Carmine Dodaro, Nicola Leone and Francesco Ricca: Advances in WASP
  • Martin Gebser, Anna Ryabokon and Gottfried Schenner: Combining Heuristics for Configuration Problems Using Answer Set Programming
  • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero and Torsten Schaub: Progress in clasp series 3
  • Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski and Torsten Schaub: ASP Solving for Expanding Universes
  • Matt Buddenhagen and Yuliya Lierler: Performance Tuning in Answer Set Programming
  • Mushthofa Mushthofa, Steven Schockaert and Martine De Cock: Solving disjunctive fuzzy answer set programs
  • Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura and Matthias Weise: aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
  • Pedro Cabalar and Jorge Fandiño: Enablers and Inhibitors in Causal Justifications of Logic Programs
  • Przemysław Wałęga, Mehul Bhatt and Carl Schultz: ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories
  • Shiqi Zhang, Fangkai Yang, Piyush Khandelwal and Peter Stone: Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy
  • Stefania Costantini: Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments
  • Theofrastos Mantadelis, Dimitar Shterionov and Gerda Janssens: Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
  • Thomas Eiter and Mantas Simkus: Linking Open-world Knowledge Bases using Nonmonotonic Rules
  • Zhizheng Zhang and Shutao Zhang: Logic Programming with Graded Modality

Short
  • Cristina Feier and Thomas Eiter: Reasoning with Forest Logic Programs Using Fully Enriched Automata
  • David Mitchell and Eugenia Ternovska: Clause-Learning Algorithms For Modular Systems
  • Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann and Torsten Schaub: Answer Set Programming modulo Acyclicity
  • Justin Blount, Michael Gelfond and Marcello Balduccini: A Theory of Intentions for Intelligent Agents
  • Manfred Eppe, Ewen MacLean, Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz and Enric Plaza: ASP, Amalgamation, and the Conceptual Blending Workflow
  • Marco Maratea, Luca Pulina and Francesco Ricca: Multi-Level Algorithm Selection for ASP
  • Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub and Stefan Woltran: Shift-design with Answer Set Programming
  • Paul Vicol, James Delgrande and Torsten Schaub: An Implementation of Consistency-Based Multi-Agent Belief Change using ASP
  • Stefan Brass: A Framework for Goal-Directed Query Evaluation with Negation
  • Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri: Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
  • Tran Cao Son and Chitta Baral: ``Add Another Blue Stack of the Same Height!'': Plan Failure Analysis and Interactive Planning Through Natural Language Communication