| 2008 | A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract). Sebastien Siva, James J. Lu, Hantao Zhang |
| 2008 | A Constraint Logic Programming Approach to Automated Testing. Hakim Belhaouari, Frédéric Peschanski |
| 2008 | A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. Valerio Senni, Alberto Pettorossi, Maurizio Proietti |
| 2008 | A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | A Logic Language with Stable Model Semantics for Social Reasoning. Francesco Buccafurri, Gianluca Caminiti, Rosario Laurendi |
| 2008 | A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living. Alessandra Mileo, Davide Merico, Roberto Bisiani |
| 2008 | A Multi-theory Logic Language for the World Wide Web. Giulio Piancastelli, Andrea Omicini |
| 2008 | A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | A Soft Approach to Multi-objective Optimization. Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon |
| 2008 | ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. Uwe Egly, Sarah Alice Gaggl, Stefan Woltran |
| 2008 | ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget |
| 2008 | Abstract Answer Set Solvers. Yuliya Lierler |
| 2008 | An Algorithm for Sophisticated Code Matching in Logic Programs. Wim Vanhoof, François Degrave |
| 2008 | An Implementation of Extended P-Log Using XASP. Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio |
| 2008 | Answer Set Programming without Unstratified Negation. Ilkka Niemelä |
| 2008 | Authorization and Obligation Policies in Dynamic Systems. Michael Gelfond, Jorge Lobo |
| 2008 | Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. Georg Boenn, Martin Brain, Marina De Vos, John ffitch |
| 2008 | Back to Interval Temporal Logics. Angelo Montanari |
| 2008 | Bi-dimensional Domains for the Non-overlapping Rectangles Constraint. Fabio Parisini |
| 2008 | Biosequence Analysis in PRISM. Ole Torp Lassen |
| 2008 | Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. Marc Denecker, Joost Vennekens |
| 2008 | Cadmium: An Implementation of ACD Term Rewriting. Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey |
| 2008 | Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories. Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock |
| 2008 | Compiling and Executing Declarative Modeling Languages to Gecode. Raffaele Cipriano, Agostino Dovier, Jacopo Mauro |
| 2008 | Composing Normal Programs with Function Symbols. Sabrina Baselice, Piero A. Bonatti |
| 2008 | Computable Functions in ASP: Theory and Implementation. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
| 2008 | Concurrent and Local Evaluation of Normal Programs. Rui Marques, Terrance Swift |
| 2008 | Constraint Handling Rules. Tom Schrijvers |
| 2008 | Constraint-Level Advice for Shaving. Radoslaw Szymanek, Christophe Lecoutre |
| 2008 | Declarative Semantics for Active Integrity Constraints. Luciano Caroprese, Miroslaw Truszczynski |
| 2008 | Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber |
| 2008 | Detection of Security Vulnerabilities Using Guided Model Checking. Aliaksei Tsitovich |
| 2008 | Development of an Automatic Testing Environment for Mercury. François Degrave |
| 2008 | Dynamic Analysis of Bounds Versus Domain Propagation. Christian Schulte, Peter J. Stuckey |
| 2008 | Dynamic Programming Algorithms as Products of Weighted Logic Programs. Shay B. Cohen, Robert J. Simmons, Noah A. Smith |
| 2008 | Efficient Algorithms for Functional Constraints. Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
| 2008 | Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. Jörg Pührer, Hans Tompits, Stefan Woltran |
| 2008 | Engineering an Incremental ASP Solver. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele |
| 2008 | Environment Reuse in the WAM. Bart Demoen, Phuong-Lan Nguyen |
| 2008 | Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There. Michael Fink |
| 2008 | Extracting and Reasoning about Web Data. Giovanni Pirrotta |
| 2008 | Generalising Constraint Solving over Finite Domains. Markus Triska |
| 2008 | Global Storing Mechanisms for Tabled Evaluation. Jorge Costa, Ricardo Rocha |
| 2008 | Here's the Beef: Answer Set Programming ! Torsten Schaub |
| 2008 | Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. Fabrizio Riguzzi |
| 2008 | Logic Engines as Interactors. Paul Tarau |
| 2008 | Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings Maria Garcia de la Banda, Enrico Pontelli |
| 2008 | Lparse Programs Revisited: Semantics and Representation of Aggregates. Guohua Liu, Jia-Huai You |
| 2008 | Managing Quality of Service with Soft Constraints. Francesco Santini |
| 2008 | Negative Ternary Set-Sharing. Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo |
| 2008 | Non-determinism and Probabilities in Timed Concurrent Constraint Programming. Jorge A. Pérez, Camilo Rueda |
| 2008 | On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. Victor W. Marek, Jeffrey B. Remmel |
| 2008 | On the Efficient Execution of ProbLog Programs. Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt |
| 2008 | On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools. Raffaele Cipriano |
| 2008 | Optimization of CHR Propagation Rules. Peter Van Weert |
| 2008 | Partial Functions and Equality in Answer Set Programming. Pedro Cabalar |
| 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 | Probabilistic and Concurrent Models for Security. Romain Beauxis |
| 2008 | Program Correspondence under the Answer-Set Semantics: The Non-ground Case. Johannes Oetsch, Hans Tompits |
| 2008 | Prolog Based Description Logic Reasoning. Gergely Lukácsy, Péter Szeredi, Balázs Kádár |
| 2008 | Quantified Equilibrium Logic and Foundations for Answer Set Programs. David Pearce, Agustín Valverde |
| 2008 | Quo Vadis Answer Set Programming? Victor W. Marek |
| 2008 | Relativized Hyperequivalence of Logic Programs for Modular Programming. Miroslaw Truszczynski, Stefan Woltran |
| 2008 | Removing Redundancy from Answer Set Programs. Tomi Janhunen |
| 2008 | Resolving CSP with Naming Games. Giorgio Gosti |
| 2008 | Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. Luca Benini, Davide Bertozzi, Michela Milano |
| 2008 | SMS and ASP: Hype or TST?. Thomas Eiter |
| 2008 | Safe Formulas in the General Theory of Stable Models (Preliminary Report). Joohyung Lee, Vladimir Lifschitz, Ravi Palla |
| 2008 | Separation Logic Tutorial. Peter W. O'Hearn |
| 2008 | Sixty Years of Stable Models. David Pearce |
| 2008 | Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia |
| 2008 | Systems Biology: Models and Logics. Carla Piazza, Alberto Policriti |
| 2008 | Telecommunications Feature Subscription as a Partial Order Constraint Problem. Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2008 | Termination Analysis of CHR Revisited. Paolo Pilozzi, Danny De Schreye |
| 2008 | Termination of Narrowing Using Dependency Pairs. María Alpuente, Santiago Escobar, José Iborra |
| 2008 | The DLV Project: A Tour from Theory and Research to Applications and Market. Nicola Leone, Wolfgang Faber |
| 2008 | The Life of a Logic Programming System. Vítor Santos Costa |
| 2008 | Thread-Based Competitive Or-Parallelism. Paulo Moura, Ricardo Rocha, Sara C. Madeira |
| 2008 | TopLog: ILP Using a Logic Program Declarative Bias. Stephen H. Muggleton, José Carlos Almeida Santos, Alireza Tamaddoni-Nezhad |
| 2008 | TopLog: ILP Using a Logic Program Declarative Bias. José Carlos Almeida Santos |
| 2008 | Towards Ludics Programming: Interactive Proof Search. Alexis Saurin |
| 2008 | Towards Typed Prolog. Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen |
| 2008 | Trace Analysis for Predicting the Effectiveness of Partial Evaluation. Germán Vidal |
| 2008 | Transactions in Constraint Handling Rules. Tom Schrijvers, Martin Sulzmann |
| 2008 | Turing-Complete Subclasses of CHR. Jon Sneyers |
| 2008 | Twelve Definitions of a Stable Model. Vladimir Lifschitz |
| 2008 | Two WAM Implementations of Action Rules. Bart Demoen, Phuong-Lan Nguyen |
| 2008 | Uniting the Prolog Community. Tom Schrijvers, Bart Demoen |
| 2008 | Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. Chitta Baral |
| 2008 | Verification from Declarative Specifications Using Logic Programming. Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello |
| 2008 | alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. Joseph P. Near, William E. Byrd, Daniel P. Friedman |