| 2006 | A Hybrid BDD and SAT Finite Domain Constraint Solver. Peter Hawkins, Peter J. Stuckey |
| 2006 | Adding Constraint Solving to Mercury. Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace |
| 2006 | Automatic Verification of a Model Checker by Reflection. Bow-Yaw Wang |
| 2006 | Controlling Search Space Materialization in a Practical Declarative Debugger. Ian MacLarty, Zoltan Somogyi |
| 2006 | Efficient Top-Down Set-Sharing Analysis Using Cliques. Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
| 2006 | Generic Cut Actions for External Prolog Predicates. Tiago Soares, Ricardo Rocha, Michel Ferreira |
| 2006 | Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. Diptikalyan Saha, C. R. Ramakrishnan |
| 2006 | JQuery: A Generic Code Browser with a Declarative Configuration Language. Kris De Volder |
| 2006 | Modeling Genome Evolution with a DSEL for Probabilistic Programming. Martin Erwig, Steve Kollmansberger |
| 2006 | Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings Pascal Van Hentenryck |
| 2006 | Probabilistic-Logical Modeling of Music. Jon Sneyers, Joost Vennekens, Danny De Schreye |
| 2006 | Querying Complex Graphs. Yanhong A. Liu, Scott D. Stoller |
| 2006 | Tabling in Mercury: Design and Implementation. Zoltan Somogyi, Konstantinos Sagonas |
| 2006 | Translating Description Logic Queries to Prolog. Zsolt Nagy, Gergely Lukácsy, Péter Szeredi |
| 2006 | Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. Sandrine-Dominique Gouraud, Arnaud Gotlieb |
| 2006 | Using Dominators for Solving Constrained Path Problems. Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet |