| 2013 | Symbolic System Synthesis Using Answer Set Programming. | Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Gla |
| 2013 | ARVis: Visualizing Relations between Answer Sets. | Thomas Ambroz, Gnther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran |
| 2013 | The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. | Mario Alviano, Wolfgang Faber |
| 2013 | WASP: A Native ASP Solver Based on Constraint Learning. | Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2013 | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | Forgetting under the Well-Founded Semantics. | Jos Jlio Alferes, Matthias Knorr, Kewen Wang |
| 2013 | Integrating Temporal Extensions of Answer Set Programming. | Felicidad Aguado, Gilberto Prez, Concepcin Vidal |
| 2011 | Compiling Answer Set Programs into Event-Driven Action Rules. | Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You |
| 2011 | Back and Forth between Rules and SE-Models. | Martin Slota, Joo Leite |
| 2011 | Knowledge-intensive Stream Reasoning. | Torsten Schaub |
| 2011 | Aggregates in Answer Set Optimization. | Emad Saad, Gerhard Brewka |
| 2011 | Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI. | David Poole |
| 2011 | Foundations and Extensions of Answer Set Programming: The Logical Approach. | David Pearce |
| 2011 | An Application of Clasp in the Study of Logics. | Mauricio Osorio, Jos Luis Carballido, Claudia Zepeda |
| 2011 | Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. | Johannes Oetsch, Hans Tompits |
| 2011 | Stepping through an Answer-Set Program. | Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2011 | VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. | Johannes Oetsch, Jrg Phrer, Martina Seidl, Hans Tompits, Patrick Zwickl |
| 2011 | ASP-Prolog for Negotiation among Dishonest Agents. | Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2011 | Strong Equivalence of Logic Programs with Abstract Constraint Atoms. | Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemel, Jia-Huai You |
| 2011 | Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. | Yuliya Lierler, Vladimir Lifschitz |
| 2011 | Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). | Joohyung Lee, Ravi Palla |
| 2011 | What Are the Necessity Rules in Defeasible Reasoning? | Ho-Pun Lam, Guido Governatori |
| 2011 | Itemset Mining as a Challenge Application for Answer Set Enumeration. | Matti Jrvisalo |
| 2011 | cmMUS: A Tool for Circumscription-Based MUS Membership Testing. | Mikols Janota, Joo Marques-Silva |
| 2011 | Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. | Tomi Janhunen, Ilkka Niemel, Johannes Oetsch, Jrg Phrer, Hans Tompits |