| 2008 | Negative Ternary Set-Sharing. | Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo |
| 2008 | Logic Engines as Interactors. | Paul Tarau |
| 2008 | Constraint-Level Advice for Shaving. | Radoslaw Szymanek, Christophe Lecoutre |
| 2008 | Turing-Complete Subclasses of CHR. | Jon Sneyers |
| 2008 | A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). | Sebastien Siva, James J. Lu, Hantao Zhang |
| 2008 | A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. | Valerio Senni, Alberto Pettorossi, Maurizio Proietti |
| 2008 | Dynamic Analysis of Bounds Versus Domain Propagation. | Christian Schulte, Peter J. Stuckey |
| 2008 | Transactions in Constraint Handling Rules. | Tom Schrijvers, Martin Sulzmann |
| 2008 | Uniting the Prolog Community. | Tom Schrijvers, Bart Demoen |
| 2008 | Towards Typed Prolog. | Tom Schrijvers, Vtor Santos Costa, Jan Wielemaker, Bart Demoen |
| 2008 | Constraint Handling Rules. | Tom Schrijvers |
| 2008 | Here's the Beef: Answer Set Programming ! | Torsten Schaub |
| 2008 | Towards Ludics Programming: Interactive Proof Search. | Alexis Saurin |
| 2008 | TopLog: ILP Using a Logic Program Declarative Bias. | Jos Carlos Almeida Santos |
| 2008 | Managing Quality of Service with Soft Constraints. | Francesco Santini |
| 2008 | Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. | Fabrizio Riguzzi |
| 2008 | Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. | Jrg Phrer, Hans Tompits, Stefan Woltran |
| 2008 | Extracting and Reasoning about Web Data. | Giovanni Pirrotta |
| 2008 | Termination Analysis of CHR Revisited. | Paolo Pilozzi, Danny De Schreye |
| 2008 | Systems Biology: Models and Logics. | Carla Piazza, Alberto Policriti |
| 2008 | A Multi-theory Logic Language for the World Wide Web. | Giulio Piancastelli, Andrea Omicini |
| 2008 | Non-determinism and Probabilities in Timed Concurrent Constraint Programming. | Jorge A. Prez, Camilo Rueda |
| 2008 | Quantified Equilibrium Logic and Foundations for Answer Set Programs. | David Pearce, Agustn Valverde |
| 2008 | Sixty Years of Stable Models. | David Pearce |
| 2008 | Bi-dimensional Domains for the Non-overlapping Rectangles Constraint. | Fabio Parisini |