| 2013 | Characterization Theorems for Revision of Logic Programs. | Nicolas Schwind, Katsumi Inoue |
| 2013 | Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming. | Peter Schller |
| 2013 | Program Updating by Incremental and Answer Subsumption Tabling. | Ari Saptawijaya, Lus Moniz Pereira |
| 2013 | Preference Handling for Belief-Based Rational Decisions. | Samy S, Joo F. L. Alcntara |
| 2013 | Conflict-Based Program Rewriting for Solving Configuration Problems. | Anna Ryabokon, Gerhard Friedrich, Andreas A. Falkner |
| 2013 | Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints. | Axel Polleres, Melanie Frhstck, Gottfried Schenner, Gerhard Friedrich |
| 2013 | BOEMIE: Reasoning-based Information Extraction. | Georgios Petasis, Ralf Mller, Vangelis Karkaletsis |
| 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 | Linear Logic Programming for Narrative Generation. | Chris Martens, Anne-Gwenn Bosser, Joo F. Ferreira, Marc Cavazza |
| 2013 | A Default Inference Rule Operating Internally to the Grammar Devices. | Christophe Onambl Manga |
| 2013 | Qualitative Analysis of Contemporary Urdu Machine Translation Systems. | Asad Abdul Malik, Asad Habib |
| 2013 | Concrete Results on Abstract Rules. | Markus Krtzsch, Despoina Magka, Ian Horrocks |
| 2013 | Logic Programming in the 1970s. | Robert A. Kowalski |
| 2013 | Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming. | Jianmin Ji, Fangzhen Lin |
| 2013 | An Application of ASP to the Field of Second Language Acquisition. | Daniela Inclezan |
| 2013 | On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. | Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski |
| 2013 | Non-monotonic Temporal Goals. | Ricardo Gonalves, Matthias Knorr, Joo Leite, Martin Slota |
| 2013 | Decidability and Implementation of Parametrized Logic Programs. | Ricardo Gonalves, Jos Jlio Alferes |
| 2013 | Ricochet Robots: A Transverse ASP Benchmark. | Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider |
| 2013 | Matchmaking with Answer Set Programming. | Martin Gebser, Thomas Glase, Orkunt Sabuncu, Torsten Schaub |
| 2013 | Game Semantics for Non-monotonic Intensional Logic Programming. | Chrysida Galanaki, Christos Nomikos, Panos Rondogiannis |
| 2013 | Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin. | Melanie Frhstck, Jrg Phrer, Gerhard Friedrich |
| 2013 | ActHEX: Implementing HEX Programs with Action Atoms. | Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schller |
| 2013 | Approximate Epistemic Planning with Postdiction as Answer-Set Programming. | Manfred Eppe, Mehul Bhatt, Frank Dylla |