| 2008 | Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. | Martin Gebser, Torsten Schaub, Sven Thiele, Bjrn Usadel, Philippe Veber |
| 2008 | Engineering an Incremental ASP Solver. | Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2008 | Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. | Michael Fink |
| 2008 | SMS and ASP: Hype or TST?. | Thomas Eiter |
| 2008 | ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. | Uwe Egly, Sarah Alice Gaggl, Stefan Woltran |
| 2008 | Cadmium: An Implementation of ACD Term Rewriting. | Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey |
| 2008 | Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. | Marc Denecker, Joost Vennekens |
| 2008 | Environment Reuse in the WAM. | Bart Demoen, Phuong-Lan Nguyen |
| 2008 | Two WAM Implementations of Action Rules. | Bart Demoen, Phuong-Lan Nguyen |
| 2008 | Development of an Automatic Testing Environment for Mercury. | Franois Degrave |
| 2008 | Global Storing Mechanisms for Tabled Evaluation. | Jorge Costa, Ricardo Rocha |
| 2008 | The Life of a Logic Programming System. | Vtor Santos Costa |
| 2008 | Dynamic Programming Algorithms as Products of Weighted Logic Programs. | Shay B. Cohen, Robert J. Simmons, Noah A. Smith |
| 2008 | Telecommunications Feature Subscription as a Partial Order Constraint Problem. | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2008 | ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. | Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget |
| 2008 | Compiling and Executing Declarative Modeling Languages to Gecode. | Raffaele Cipriano, Agostino Dovier, Jacopo Mauro |
| 2008 | On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. | Raffaele Cipriano |
| 2008 | A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | Declarative Semantics for Active Integrity Constraints. | Luciano Caroprese, Miroslaw Truszczynski |
| 2008 | Computable Functions in ASP: Theory and Implementation. | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2008 | Partial Functions and Equality in Answer Set Programming. | Pedro Cabalar |
| 2008 | A Logic Language with Stable Model Semantics for Social Reasoning. | Francesco Buccafurri, Gianluca Caminiti, Rosario Laurendi |
| 2008 | Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. | Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro |
| 2008 | Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. | Georg Boenn, Martin Brain, Marina De Vos, John ffitch |
| 2008 | A Soft Approach to Multi-objective Optimization. | Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon |