| 2009 | On the Input Language of ASP Grounder Gringo. | Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2009 | Using Answer Set Programming to Enhance Operating System Discovery. | Franois Gagnon, Babak Esfandiari |
| 2009 | An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic. | Marc Finthammer, Christoph Beierle, Benjamin Berger, Gabriele Kern-Isberner |
| 2009 | Manifold Answer-Set Programs for Meta-reasoning. | Wolfgang Faber, Stefan Woltran |
| 2009 | HAPLO-ASP: Haplotype Inference Using Answer Set Programming. | Esra Erdem, Ozan Erdem, Ferhan Tre |
| 2009 | PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming. | Esra Erdem |
| 2009 | A Simple Distributed Conflict-Driven Answer Set Solver. | Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor |
| 2009 | Present and Future Challenges for ASP Systems. | Agostino Dovier, Enrico Pontelli |
| 2009 | Representing Multi-agent Planning in CLP. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2009 | The Second Answer Set Programming Competition. | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
| 2009 | Using Lightweight Inference to Solve Lightweight Problems. | Marc Denecker, Joost Vennekens |
| 2009 | A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. | James P. Delgrande, Torsten Grote, Aaron Hunter |
| 2009 | What Next for ASP? (A Not-Entirely-Well-Informed Opinion). | James P. Delgrande |
| 2009 | Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs. | Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner |
| 2009 | Generating Optimal Code Using Answer Set Programming. | Tom Crick, Martin Brain, Marina De Vos, John P. Fitch |
| 2009 | Integrating Answer Set Modules into Agent Programs. | Stefania Costantini |
| 2009 | Modelling Normative Frameworks Using Answer Set Programing. | Owen Cliffe, Marina De Vos, Julian A. Padget |
| 2009 | An ASP System with Functions, Lists, and Sets. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2009 | Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2009 | Bridging the Gap between High-Level Reasoning and Low-Level Control. | Ozan aldiran, Kadir Haspalamutgil, Abdullah Ok, Can Palaz, Esra Erdem, Volkan Patoglu |
| 2009 | Computing Weighted Solutions in Answer Set Programming. | Duygu akmak, Esra Erdem, Halit Erdogan |
| 2009 | A Revised Concept of Safety for General Answer Set Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2009 | Complexity of the Stable Model Semantics for Queries on Incomplete Databases. | Jos de Bruijn, Stijn Heymans |
| 2009 | nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. | Annamaria Bria, Wolfgang Faber, Nicola Leone |
| 2009 | From Data Integration towards Knowledge Mediation. | Gerhard Brewka, Thomas Eiter |