| 2015 | Knowledge Acquisition via Non-monotonic Reasoning in Distributed Heterogeneous Environments. | Stefania Costantini |
| 2015 | Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. | Gnther Charwat, Stefan Woltran |
| 2015 | Enablers and Inhibitors in Causal Justifications of Logic Programs. | Pedro Cabalar, Jorge Fandinno |
| 2015 | Stable Models for Temporal Theories - - Invited Talk -. | Pedro Cabalar |
| 2015 | Performance Tuning in Answer Set Programming. | Matthew Buddenhagen, Yuliya Lierler |
| 2015 | Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP. | Alex Brik, Jeffrey B. Remmel |
| 2015 | Implementing Preferences with asprin. | Gerhard Brewka, James P. Delgrande, Javier Romero, Torsten Schaub |
| 2015 | A Framework for Goal-Directed Query Evaluation with Negation. | Stefan Brass |
| 2015 | Answer Set Programming Modulo Acyclicity. | Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub |
| 2015 | A Theory of Intentions for Intelligent Agents - (Extended Abstract). | Justin Blount, Michael Gelfond, Marcello Balduccini |
| 2015 | Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic. | Reza Basseda |
| 2015 | "Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. | Chitta Baral, Tran Cao Son |
| 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 |
| 2015 | Online Action Language o | Joseph Babb, Joohyung Lee |
| 2015 | Automated Inference of Rules with Exception from Past Legal Cases Using ASP. | Duangtida Athakravi, Ken Satoh, Mark Law, Krysia Broda, Alessandra Russo |
| 2015 | Integrating ASP into ROS for Reasoning in Robots. | Benjamin Andres, David Rajaratnam, Orkunt Sabuncu, 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 | Advances in WASP. | Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
| 2015 | Shift Design with Answer Set Programming. | Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran |
| 2015 | Characterising and Explaining Inconsistency in Logic Programs. | Claudia Schulz, Ken Satoh, Francesca Toni |
| 2013 | On Optimal Solutions of Answer Set Optimization Problems. | Ying Zhu, Miroslaw Truszczynski |
| 2013 | Belief Change in Nonmonotonic Multi-Context Systems. | Yisong Wang, Zhiqiang Zhuang, Kewen Wang |
| 2013 | Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. | Giorgio Terracina, Alessandra Martello, Nicola Leone |
| 2013 | Recognizing Implicit Discourse Relations through Abductive Reasoning with Large-scale Lexical Knowledge. | Jun Sugiura, Naoya Inoue, Kentaro Inui |
| 2013 | Early Recovery in Logic Program Updates. | Martin Slota, Martin Balz, Joo Leite |