| 2006 | Modelling Biological Networks by Action Languages Via Answer Set Programming. | Susanne Grell, Torsten Schaub, Joachim Selbig |
| 2006 | Tableau Calculi for Answer Set Programming. | Martin Gebser, Torsten Schaub |
| 2006 | Compositional Semantics for the Procedural Interpretation of Logic. | Maarten H. van Emden |
| 2006 | ACD Term Rewriting. | Gregory J. Duck, Peter J. Stuckey, Sebastian Brand |
| 2006 | Solving First-Order Constraints in the Theory of the Evaluated Trees. | Thi-Bich-Hanh Dao, Khalil Djelloul |
| 2006 | Semantic Property Grammars for Knowledge Extraction from Biomedical Text. | Vernica Dahl, Baohua Gu |
| 2006 | The Semantics of Nominal Logic Programs. | James Cheney |
| 2006 | Declarative Semantics of Production Rules for Integrity Maintenance. | Luciano Caroprese, Sergio Greco, Cristina Sirangelo, Ester Zumpano |
| 2006 | Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2006 | Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustn Valverde |
| 2006 | Towards "Propagation = Logic + Control". | Sebastian Brand, Roland H. C. Yap |
| 2006 | TOAST: Applying Answer Set Programming to Superoptimisation. | Martin Brain, Tom Crick, Marina De Vos, John P. Fitch |
| 2006 | Declarative Problem Solving Using Answer Set Semantics. | Martin Brain |
| 2006 | Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming. | Chitta Baral, Juraj Dzifcak, Hiro Takahashi |
| 2006 | Overlapping Rules and Logic Variables in Functional Logic Programs . | Sergio Antoy, Michael Hanus |
| 2006 | Reduced Certificates for Abstraction-Carrying Code. | Elvira Albert, Puri Arenas-Snchez, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | Learning Semantic Parsers: A Constraint Handling Rule Approach. | Dulce Aguilar-Solis |
| 2006 | Towards Structured Contexts and Modules. | Salvador Abreu, Vtor Nogueira |
| 2005 | Use of Logic Programming for Complex Business Rules. | Walter G. Wilson |
| 2005 | An Optimised Semantic Web Query Language Implementation in Prolog. | Jan Wielemaker |
| 2005 | Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. | Hans Tompits, Stefan Woltran |
| 2005 | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | Guard and Continuation Optimization for Occurrence Representations of CHR. | Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 2005 | Analysis and Optimization of CHR Programs. | Jon Sneyers |
| 2005 | Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. | Tom Schrijvers |