| 2009 | Max-ASP: Maximum Satisfiability of Answer Set Programs. | Emilia Oikarinen, Matti Jrvisalo |
| 2009 | ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
| 2009 | Gorgias-C: Extending Argumentation with Constraint Solving. | Victor Nol, Antonis C. Kakas |
| 2009 | Integrating Answer Set Programming and Satisfiability Modulo Theories. | Ilkka Niemel |
| 2009 | Simple Random Logic Programs. | Gayathri Namasivayam, Miroslaw Truszczynski |
| 2009 | Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System. | Alessandra Mileo, Davide Merico, Roberto Bisiani |
| 2009 | Knowledge Qualification through Argumentation. | Loizos Michael, Antonis C. Kakas |
| 2009 | Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs. | Guohua Liu |
| 2009 | An ASP-Based Data Integration System. | Nicola Leone, Francesco Ricca, Giorgio Terracina |
| 2009 | Exploiting ASP in Real-World Applications: Main Strengths and Challenges. | Nicola Leone |
| 2009 | The First Version of a New ASP Solver : ASPeRiX. | Claire Lefvre, Pascal Nicolas |
| 2009 | A First Order Forward Chaining Approach for Answer Set Computing. | Claire Lefvre, Pascal Nicolas |
| 2009 | System f2lp - Computing Answer Sets of First-Order Formulas. | Joohyung Lee, Ravi Palla |
| 2009 | On Reductive Semantics of Aggregates in Answer Set Programming. | Joohyung Lee, Yunsong Meng |
| 2009 | Optimal Multicore Scheduling: An Application of ASP Techniques. | Viren Kumar, James P. Delgrande |
| 2009 | Induction on Failure: Learning Connected Horn Theories. | Tim Kimber, Krysia Broda, Alessandra Russo |
| 2009 | A Module-Based Framework for Multi-language Constraint Modeling. | Matti Jrvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemel |
| 2009 | Computing Stable Models via Reductions to Difference Logic. | Tomi Janhunen, Ilkka Niemel, Mark Sevalnev |
| 2009 | Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs. | Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub |
| 2009 | An ASP-Based System for e-Tourism. | Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
| 2009 | A Deductive System for FO(ID) Based on Least Fixpoint Logic. | Ping Hou, Marc Denecker |
| 2009 | AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. | Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget |
| 2009 | Some DLV Applications for Knowledge Management. | Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca |
| 2009 | Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2009 | The Conflict-Driven Answer Set Solver clasp: Progress Report. | Martin Gebser, Benjamin Kaufmann, Torsten Schaub |