| 2008 | Separation Logic Tutorial. | Peter W. O'Hearn |
| 2008 | Program Correspondence under the Answer-Set Semantics: The Non-ground Case. | Johannes Oetsch, Hans Tompits |
| 2008 | Answer Set Programming without Unstratified Negation. | Ilkka Niemel |
| 2008 | alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. | Joseph P. Near, William E. Byrd, Daniel P. Friedman |
| 2008 | TopLog: ILP Using a Logic Program Declarative Bias. | Stephen H. Muggleton, Jos Carlos Almeida Santos, Alireza Tamaddoni-Nezhad |
| 2008 | Thread-Based Competitive Or-Parallelism. | Paulo Moura, Ricardo Rocha, Sara C. Madeira |
| 2008 | Back to Interval Temporal Logics. | Angelo Montanari |
| 2008 | Verification from Declarative Specifications Using Logic Programming. | Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2008 | A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living. | Alessandra Mileo, Davide Merico, Roberto Bisiani |
| 2008 | Concurrent and Local Evaluation of Normal Programs. | Rui Marques, Terrance Swift |
| 2008 | On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. | Victor W. Marek, Jeffrey B. Remmel |
| 2008 | Quo Vadis Answer Set Programming? | Victor W. Marek |
| 2008 | Prolog Based Description Logic Reasoning. | Gergely Lukcsy, Pter Szeredi, Balzs Kdr |
| 2008 | Lparse Programs Revisited: Semantics and Representation of Aggregates. | Guohua Liu, Jia-Huai You |
| 2008 | Twelve Definitions of a Stable Model. | Vladimir Lifschitz |
| 2008 | Abstract Answer Set Solvers. | Yuliya Lierler |
| 2008 | The DLV Project: A Tour from Theory and Research to Applications and Market. | Nicola Leone, Wolfgang Faber |
| 2008 | Safe Formulas in the General Theory of Stable Models (Preliminary Report). | Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2008 | Biosequence Analysis in PRISM. | Ole Torp Lassen |
| 2008 | On the Efficient Execution of ProbLog Programs. | Angelika Kimmig, Vtor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt |
| 2008 | Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. | Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock |
| 2008 | Removing Redundancy from Answer Set Programs. | Tomi Janhunen |
| 2008 | A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | Resolving CSP with Naming Games. | Giorgio Gosti |
| 2008 | Authorization and Obligation Policies in Dynamic Systems. | Michael Gelfond, Jorge Lobo |