| 2008 | Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. | Luca Benini, Davide Bertozzi, Michela Milano |
| 2008 | A Constraint Logic Programming Approach to Automated Testing. | Hakim Belhaouari, Frdric Peschanski |
| 2008 | Probabilistic and Concurrent Models for Security. | Romain Beauxis |
| 2008 | Composing Normal Programs with Function Symbols. | Sabrina Baselice, Piero A. Bonatti |
| 2008 | Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions. | Chitta Baral |
| 2008 | Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. | Jess Aranda, Jorge A. Prez, Camilo Rueda, Frank D. Valencia |
| 2008 | An Implementation of Extended P-Log Using XASP. | Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damsio |
| 2008 | Termination of Narrowing Using Dependency Pairs. | Mara Alpuente, Santiago Escobar, Jos Iborra |
| 2007 | A Register-Free Abstract Prolog Machine with Jumbo Instructions. | Neng-Fa Zhou |
| 2007 | A Stronger Notion of Equivalence for Logic Programs. | Ka-Shu Wong |
| 2007 | Prolog as the Fundament for Applications on the Semantic Web. | Jan Wielemaker, Michiel Hildebrand, Jacco van Ossenbruggen |
| 2007 | The Use of a Logic Programming Language in the Animation of Z Specifications. | Margaret M. West |
| 2007 | Extension and Implementation of CHR. | Peter Van Weert |
| 2007 | Spatial-Yap: A Logic-Based Geographic Information System. | David Vaz, Michel Ferreira, Ricardo Lopes |
| 2007 | Logic Programming Approach to Automata-Based Decision Procedures. | Gulay nel, David Toman |
| 2007 | Logic Programming for Knowledge Representation. | Miroslaw Truszczynski |
| 2007 | A Logic Programming Framework for Combinational Circuit Synthesis. | Paul Tarau, Brenda Luderman |
| 2007 | Aggregates in Constraint Handling Rules. | Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen |
| 2007 | Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. | Anderson Faustino da Silva, Vtor Santos Costa |
| 2007 | OnEQL: An Ontology Efficient Query Language Engine for the Semantic Web. | Edna Ruckhaus, Maria-Esther Vidal, Eduardo Ruiz |
| 2007 | On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog. | Ricardo Rocha, Cludio Silva, Ricardo Lopes |
| 2007 | Graph Transformation Systems in CHR. | Frank Raiser |
| 2007 | ASP-PROLOG: Composition and Interoperation of Rules. | Enrico Pontelli |
| 2007 | DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX. | Axel Polleres, Roman Schindlauer |
| 2007 | Automatic Binding-Related Error Diagnosis in Logic Programs. | Pawel Pietrzak, Manuel V. Hermenegildo |