| 2004 | Termination of Logic Programs Using Various Dynamic Selection Rules. | Jan-Georg Smaus |
| 2004 | Constraint Handling Rules and Tabled Execution. | Tom Schrijvers, David Scott Warren |
| 2004 | Improving Prolog Programs: Refactoring for Prolog. | Tom Schrijvers, Alexander Serebrenik |
| 2004 | JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. | Tom Schrijvers |
| 2004 | Non-viability Deductions in Arc-Consistency Computation. | Camilo Rueda, Frank D. Valencia |
| 2004 | Speculative Computations in Or-Parallel Tabled Logic Programs. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 2004 | Multi-agent Coordination as Distributed Logic Programming. | David Robertson |
| 2004 | Generalised Kernel Sets for Inverse Entailment. | Oliver Ray, Krysia Broda, Alessandra Russo |
| 2004 | Constraint-Based Synchronization and Verification of Distributed Java Programs. | Rafael Ramrez, Juanjo Martinez |
| 2004 | Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. | Matthieu Petit, Arnaud Gotlieb |
| 2004 | Simplifying Logic Programs Under Answer Set Semantics. | David Pearce |
| 2004 | Protein Folding Simulation in CCP. | Alessandro Dal Pal, Agostino Dovier, Federico Fogolari |
| 2004 | On Programs with Linearly Ordered Multiple Preferences. | Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2004 | MProlog: An Extension of Prolog for Modal Logic Programming. | Linh Anh Nguyen |
| 2004 | Concurrent Constraint Programming and Tree-Based Acoustic Modelling. | Moritz Neugebauer |
| 2004 | Implementation Results in Classical Constructive Negation. | Susana Muoz-Hernndez, Juan Jos Moreno-Navarro |
| 2004 | On Hybridization of Local Search and Constraint Propagation. | ric Monfroy, Frdric Saubion, Tony Lambert |
| 2004 | Grid Service Selection with PPDL. | Massimo Marchi, Alessandra Mileo, Alessandro Provetti |
| 2004 | On Acyclic and Head-Cycle Free Nested Logic Programs. | Thomas Linke, Hans Tompits, Stefan Woltran |
| 2004 | A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. | Ludovic Langevine, Mireille Ducass |
| 2004 | Development of Semantic Debuggers Based on Refinement Calculus. | Rohit N. Kundaji, R. K. Shyamasundar |
| 2004 | Adding Domain Dependent Knowledge into Answer Set Programs for Planning. | Xiumei Jia, Jia-Huai You, Li-Yan Yuan |
| 2004 | FDBG, the CLPFD Debugger Library of SICStus Prolog. | Dvid Hank, Tams Szeredi, Pter Szeredi |
| 2004 | Answer Set Programming and the Design of Deliberative Agents. | Michael Gelfond |
| 2004 | Abstract Domains Based on Regular Types. | John P. Gallagher, Kim S. Henriksen |