| 2013 | A Sequential Model for Reasoning about Bargaining in Logic Programs. Wu Chen, Dongmo Zhang, Maonian Wu |
| 2013 | AGM-Style Belief Revision of Logic Programs under Answer Set Semantics. James P. Delgrande, Pavlos Peppas, Stefan Woltran |
| 2013 | ARVis: Visualizing Relations between Answer Sets. Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran |
| 2013 | Accurate Computation of Sensitizable Paths Using Answer Set Programming. Benjamin Andres, Matthias Sauer, Martin Gebser, Tobias Schubert, Bernd Becker, Torsten Schaub |
| 2013 | ActHEX: Implementing HEX Programs with Action Atoms. Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schüller |
| 2013 | An ASP Application in Integrative Biology: Identification of Functional Gene Units. Philippe Bordron, Damien Eveillard, Alejandro Maass, Anne Siegel, Sven Thiele |
| 2013 | An Application of ASP to the Field of Second Language Acquisition. Daniela Inclezan |
| 2013 | Approximate Epistemic Planning with Postdiction as Answer-Set Programming. Manfred Eppe, Mehul Bhatt, Frank Dylla |
| 2013 | Belief Change in Nonmonotonic Multi-Context Systems. Yisong Wang, Zhiqiang Zhuang, Kewen Wang |
| 2013 | Characterization Theorems for Revision of Logic Programs. Nicolas Schwind, Katsumi Inoue |
| 2013 | Combining Equilibrium Logic and Dynamic Logic. Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su |
| 2013 | Concrete Results on Abstract Rules. Markus Krötzsch, Despoina Magka, Ian Horrocks |
| 2013 | Conflict-Based Program Rewriting for Solving Configuration Problems. Anna Ryabokon, Gerhard Friedrich, Andreas A. Falkner |
| 2013 | Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming. Joseph Babb, Joohyung Lee |
| 2013 | Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin. Melanie Frühstück, Jörg Pührer, Gerhard Friedrich |
| 2013 | Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints. Axel Polleres, Melanie Frühstück, Gottfried Schenner, Gerhard Friedrich |
| 2013 | Decidability and Implementation of Parametrized Logic Programs. Ricardo Gonçalves, José Júlio Alferes |
| 2013 | Early Recovery in Logic Program Updates. Martin Slota, Martin Baláz, João Leite |
| 2013 | Efficient Approximation of Well-Founded Justification and Well-Founded Domination. Christian Drescher, Toby Walsh |
| 2013 | Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. Saadat Anwar, Chitta Baral, Katsumi Inoue |
| 2013 | Evaluating Answer Set Clause Learning for General Game Playing. Timothy Joseph Cerexhe, Orkunt Sabuncu, Michael Thielscher |
| 2013 | Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information. Chitta Baral, Nguyen Ha Vo |
| 2013 | Experience Based Nonmonotonic Reasoning. Daniel Borchmann |
| 2013 | Extending the Metabolic Network of Guillaume Collet, Damien Eveillard, Martin Gebser, Sylvain Prigent, Torsten Schaub, Anne Siegel, Sven Thiele |
| 2013 | Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming. Peter Schüller |
| 2013 | Forgetting under the Well-Founded Semantics. José Júlio Alferes, Matthias Knorr, Kewen Wang |
| 2013 | Game Semantics for Non-monotonic Intensional Logic Programming. Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis |
| 2013 | Hex Semantics via Approximation Fixpoint Theory. Christian Antic, Thomas Eiter, Michael Fink |
| 2013 | Implementing Belief Change in the Situation Calculus and an Application. Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher |
| 2013 | Implementing Informal Semantics of ASP. Artur Mikitiuk, Miroslaw Truszczynski |
| 2013 | Integrating Temporal Extensions of Answer Set Programming. Felicidad Aguado, Gilberto Pérez, Concepción Vidal |
| 2013 | Justifications for Logic Programming. Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou |
| 2013 | Linear Logic Programming for Narrative Generation. Chris Martens, Anne-Gwenn Bosser, João F. Ferreira, Marc Cavazza |
| 2013 | Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings Pedro Cabalar, Tran Cao Son |
| 2013 | Logic Programming in the 1970s. Robert A. Kowalski |
| 2013 | Logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System. Giorgio Terracina, Alessandra Martello, Nicola Leone |
| 2013 | Matchmaking with Answer Set Programming. Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub |
| 2013 | Negation as a Resource: A Novel View on Answer Set Semantics. Stefania Costantini, Andrea Formisano |
| 2013 | Non-monotonic Temporal Goals. Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota |
| 2013 | Normalizing Cardinality Rules Using Merging and Sorting Constructions. Jori Bomanson, Tomi Janhunen |
| 2013 | On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski |
| 2013 | On Optimal Solutions of Answer Set Optimization Problems. Ying Zhu, Miroslaw Truszczynski |
| 2013 | Preference Handling for Belief-Based Rational Decisions. Samy Sá, João F. L. Alcântara |
| 2013 | Program Updating by Incremental and Answer Subsumption Tabling. Ari Saptawijaya, Luís Moniz Pereira |
| 2013 | Prolog and ASP Inference under One Roof. Marcello Balduccini, Yuliya Lierler, Peter Schüller |
| 2013 | Ricochet Robots: A Transverse ASP Benchmark. Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider |
| 2013 | Spectra in Abstract Argumentation: An Analysis of Minimal Change. Ringo Baumann, Gerhard Brewka |
| 2013 | Symbolic System Synthesis Using Answer Set Programming. Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß |
| 2013 | The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. Mario Alviano, Wolfgang Faber |
| 2013 | The Fourth Answer Set Programming Competition: Preliminary Report. Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | Towards Answer Set Programming with Sorts. Evgenii Balai, Michael Gelfond, Yuanlin Zhang |
| 2013 | Towards Query Answering in Relational Multi-Context Systems. Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina |
| 2013 | Towards Reactive Multi-Context Systems. Gerhard Brewka |
| 2013 | Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming. Jianmin Ji, Fangzhen Lin |
| 2013 | VCWC: A Versioning Competition Workflow Compiler. Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | WASP: A Native ASP Solver Based on Constraint Learning. Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |