| 2015 | "Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. Chitta Baral, Tran Cao Son |
| 2015 | A Formal Theory of Justifications. Marc Denecker, Gerhard Brewka, Hannes Strass |
| 2015 | A Framework for Goal-Directed Query Evaluation with Negation. Stefan Brass |
| 2015 | A New Computational Logic Approach to Reason with Conditionals. Emmanuelle-Anna Dietz, Steffen Hölldobler |
| 2015 | A Theory of Intentions for Intelligent Agents - (Extended Abstract). Justin Blount, Michael Gelfond, Marcello Balduccini |
| 2015 | ASP Solving for Expanding Universes. Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub |
| 2015 | ASP, Amalgamation, and the Conceptual Blending Workflow. Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, W. Marco Schorlemmer, Enric Plaza |
| 2015 | ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz |
| 2015 | Advances in WASP. Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
| 2015 | Algorithmic Decision Theory Meets Logic - - Invited Talk -. Jérôme Lang |
| 2015 | An Implementation of Consistency-Based Multi-agent Belief Change Using ASP. Paul Vicol, James P. Delgrande, Torsten Schaub |
| 2015 | Answer Set Programming Modulo Acyclicity. Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub |
| 2015 | Automated Inference of Rules with Exception from Past Legal Cases Using ASP. Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo |
| 2015 | Characterising and Explaining Inconsistency in Logic Programs. Claudia Schulz, Ken Satoh, Francesca Toni |
| 2015 | Clause-Learning for Modular Systems. David G. Mitchell, Eugenia Ternovska |
| 2015 | Combining Heuristics for Configuration Problems Using Answer Set Programming. Martin Gebser, Anna Ryabokon, Gottfried Schenner |
| 2015 | Compacting Boolean Formulae for Inference in Probabilistic Logic Programming. Theofrastos Mantadelis, Dimitar Sht. Shterionov, Gerda Janssens |
| 2015 | Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP. Alex Brik, Jeffrey B. Remmel |
| 2015 | Diagnostic Reasoning for Robotics Using Action Languages. Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur |
| 2015 | Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses. Stefania Costantini, Giovanni De Gasperis, Raffaele Olivieri |
| 2015 | Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access. Daniel P. Lupp |
| 2015 | Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences. Tiep Le |
| 2015 | Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. Przemyslaw Andrzej Walega |
| 2015 | Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic. Reza Basseda |
| 2015 | Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. Günther Charwat, Stefan Woltran |
| 2015 | Enablers and Inhibitors in Causal Justifications of Logic Programs. Pedro Cabalar, Jorge Fandinno |
| 2015 | Implementing Preferences with asprin. Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub |
| 2015 | Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics. Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub |
| 2015 | Infinitary Equilibrium Logic and Strong Equivalence. Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde |
| 2015 | Integrating ASP into ROS for Reasoning in Robots. Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, Torsten Schaub |
| 2015 | Interactive Debugging of Non-ground ASP Programs. Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin |
| 2015 | Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. Stefania Costantini |
| 2015 | Linking Open-World Knowledge Bases Using Nonmonotonic Rules. Thomas Eiter, Mantas Simkus |
| 2015 | Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski |
| 2015 | Logic Programming with Graded Modality. Zhizheng Zhang, Shutao Zhang |
| 2015 | Mobile Robot Planning Using Action Language Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, Peter Stone |
| 2015 | Multi-level Algorithm Selection for ASP. Marco Maratea, Luca Pulina, Francesco Ricca |
| 2015 | OOASP: Connecting Object-Oriented and Logic Programming. Andreas A. Falkner, Anna Ryabokon, Gottfried Schenner, Kostyantyn M. Shchekotykhin |
| 2015 | On the Relationship Between Two Modular Action Languages: A Translation from MAD into Daniela Inclezan |
| 2015 | Online Action Language o Joseph Babb, Joohyung Lee |
| 2015 | Performance Tuning in Answer Set Programming. Matthew Buddenhagen, Yuliya Lierler |
| 2015 | Progress in clasp Series 3. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub |
| 2015 | Reasoning with Forest Logic Programs Using Fully Enriched Automata. Cristina Feier, Thomas Eiter |
| 2015 | Relational and Semantic Data Mining - - Invited Talk -. Nada Lavrac, Anze Vavpetic |
| 2015 | Shift Design with Answer Set Programming. Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran |
| 2015 | Solving Disjunctive Fuzzy Answer Set Programs. Mushthofa Mushthofa, Steven Schockaert, Martine De Cock |
| 2015 | Stable Models for Temporal Theories - - Invited Talk -. Pedro Cabalar |
| 2015 | The Design of the Sixth Answer Set Programming Competition - - Report -. Martin Gebser, Marco Maratea, Francesco Ricca |
| 2015 | aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise |