| 2013 | Efficient Approximation of Well-Founded Justification and Well-Founded Domination. | Christian Drescher, Toby Walsh |
| 2013 | AGM-Style Belief Revision of Logic Programs under Answer Set Semantics. | James P. Delgrande, Pavlos Peppas, Stefan Woltran |
| 2013 | Justifications for Logic Programming. | Carlos Viegas Damsio, Anastasia Analyti, Grigoris Antoniou |
| 2013 | Negation as a Resource: A Novel View on Answer Set Semantics. | Stefania Costantini, Andrea Formisano |
| 2013 | Extending the Metabolic Network of | Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele |
| 2013 | A Sequential Model for Reasoning about Bargaining in Logic Programs. | Wu Chen, Dongmo Zhang, Maonian Wu |
| 2013 | Three Lessons in Creating a Knowledge Base to Enable Reasoning, Explanation and Dialog. | Vinay K. Chaudhri, Nikhil Dinesh, Daniela Inclezan |
| 2013 | VCWC: A Versioning Competition Workflow Compiler. | Gnther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | Combining Equilibrium Logic and Dynamic Logic. | Luis Farias del Cerro, Andreas Herzig, Ezgi Iraz Su |
| 2013 | Evaluating Answer Set Clause Learning for General Game Playing. | Timothy Joseph Cerexhe, Orkunt Sabuncu, Michael Thielscher |
| 2013 | Towards Reactive Multi-Context Systems. | Gerhard Brewka |
| 2013 | An ASP Application in Integrative Biology: Identification of Functional Gene Units. | Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, Sven Thiele |
| 2013 | Experience Based Nonmonotonic Reasoning. | Daniel Borchmann |
| 2013 | Normalizing Cardinality Rules Using Merging and Sorting Constructions. | Jori Bomanson, Tomi Janhunen |
| 2013 | Spectra in Abstract Argumentation: An Analysis of Minimal Change. | Ringo Baumann, Gerhard Brewka |
| 2013 | Towards Query Answering in Relational Multi-Context Systems. | Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina |
| 2013 | Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information. | Chitta Baral, Nguyen Ha Vo |
| 2013 | The NL2KR System. | Chitta Baral, Juraj Dzifcak, Kanchan Kumbhare, Nguyen Ha Vo |
| 2013 | Prolog and ASP Inference under One Roof. | Marcello Balduccini, Yuliya Lierler, Peter Schller |
| 2013 | Some Recent Advances in Answer Set Programming (from the Perspective of NLP). | Marcello Balduccini |
| 2013 | Towards Answer Set Programming with Sorts. | Evgenii Balai, Michael Gelfond, Yuanlin Zhang |
| 2013 | Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming. | Joseph Babb, Joohyung Lee |
| 2013 | Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. | Saadat Anwar, Chitta Baral, Katsumi Inoue |
| 2013 | Hex Semantics via Approximation Fixpoint Theory. | Christian Antic, Thomas Eiter, Michael Fink |
| 2013 | Accurate Computation of Sensitizable Paths Using Answer Set Programming. | Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub |