| 2004 | A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer. Ludovic Langevine, Mireille Ducassé |
| 2004 | Abstract Domains Based on Regular Types. John P. Gallagher, Kim S. Henriksen |
| 2004 | Abstract Interpretation-Based Mobile Code Certification. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
| 2004 | Adding Domain Dependent Knowledge into Answer Set Programs for Planning. Xiumei Jia, Jia-Huai You, Li-Yan Yuan |
| 2004 | Agent Oriented Logic Programming Constructs in Jinni 2004. Paul Tarau |
| 2004 | Answer Set Programming and the Design of Deliberative Agents. Michael Gelfond |
| 2004 | Applying CLP to Predict Extra-Functional Properties of Component-Based Models. Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau |
| 2004 | Arc-Consistency + Unit Propagation = Lookahead. Jia-Huai You, Guiwen Hou |
| 2004 | Compiling Ask Constraints. Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey |
| 2004 | Compiling Prioritized Circumscription into Answer Set Programming. Toshiko Wakaki, Katsumi Inoue |
| 2004 | Concurrent Constraint Programming and Tree-Based Acoustic Modelling. Moritz Neugebauer |
| 2004 | Constraint Handling Rules and Tabled Execution. Tom Schrijvers, David Scott Warren |
| 2004 | Constraint-Based Synchronization and Verification of Distributed Java Programs. Rafael Ramírez, Juanjo Martinez |
| 2004 | Development of Semantic Debuggers Based on Refinement Calculus. Rohit N. Kundaji, R. K. Shyamasundar |
| 2004 | Enhancing the Magic-Set Method for Disjunctive Datalog Programs. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone |
| 2004 | FDBG, the CLPFD Debugger Library of SICStus Prolog. Dávid Hanák, Tamás Szeredi, Péter Szeredi |
| 2004 | Fast Query Evaluation with (Lazy) Control Flow Compilation. Remko Tronçon, Gerda Janssens, Henk Vandecasteele |
| 2004 | Generalised Kernel Sets for Inverse Entailment. Oliver Ray, Krysia Broda, Alessandra Russo |
| 2004 | Grid Service Selection with PPDL. Massimo Marchi, Alessandra Mileo, Alessandro Provetti |
| 2004 | Implementation Results in Classical Constructive Negation. Susana Muñoz-Hernández, Juan José Moreno-Navarro |
| 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 | Labeled Logic Programs. Steve Barker |
| 2004 | Limiting Resolution: From Foundations to Implementation. Patrick Caldon, Eric Martin |
| 2004 | Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Bart Demoen, Vladimir Lifschitz |
| 2004 | Logic Programs with Annotated Disjunctions. Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
| 2004 | MProlog: An Extension of Prolog for Modal Logic Programming. Linh Anh Nguyen |
| 2004 | Main Results of the OADymPPaC Project. Pierre Deransart |
| 2004 | Multi-agent Coordination as Distributed Logic Programming. David Robertson |
| 2004 | Non-viability Deductions in Arc-Consistency Computation. Camilo Rueda, Frank D. Valencia |
| 2004 | On Acyclic and Head-Cycle Free Nested Logic Programs. Thomas Linke, Hans Tompits, Stefan Woltran |
| 2004 | On Hybridization of Local Search and Constraint Propagation. Éric Monfroy, Frédéric Saubion, Tony Lambert |
| 2004 | On Programs with Linearly Ordered Multiple Preferences. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2004 | Possible Worlds Semantics for Probabilistic Logic Programs. Alex Dekhtyar, Michael I. Dekhtyar |
| 2004 | Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. Matthieu Petit, Arnaud Gotlieb |
| 2004 | Protein Folding Simulation in CCP. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
| 2004 | Rectilinear Steiner Tree Construction Using Answer Set Programming. Esra Erdem, Martin D. F. Wong |
| 2004 | Simplifying Logic Programs Under Answer Set Semantics. David Pearce |
| 2004 | Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. Islam Elkabani, Enrico Pontelli, Tran Cao Son |
| 2004 | Speculative Computations in Or-Parallel Tabled Logic Programs. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
| 2004 | Splitting an Operator. Joost Vennekens, David Gilis, Marc Denecker |
| 2004 | Termination by Abstraction. Nachum Dershowitz |
| 2004 | Termination of Logic Programs Using Various Dynamic Selection Rules. Jan-Georg Smaus |
| 2004 | The Refined Operational Semantics of Constraint Handling Rules. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
| 2004 | The period Constraint. Nicolas Beldiceanu, Emmanuel Poder |
| 2004 | Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web. François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert |
| 2004 | alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. James Cheney, Christian Urban |