| 2004 | Rectilinear Steiner Tree Construction Using Answer Set Programming. | Esra Erdem, Martin D. F. Wong |
| 2004 | Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
| 2004 | The Refined Operational Semantics of Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |
| 2004 | Compiling Ask Constraints. | Gregory J. Duck, Maria J. Garca de la Banda, Peter J. Stuckey |
| 2004 | Termination by Abstraction. | Nachum Dershowitz |
| 2004 | Main Results of the OADymPPaC Project. | Pierre Deransart |
| 2004 | Possible Worlds Semantics for Probabilistic Logic Programs. | Alex Dekhtyar, Michael I. Dekhtyar |
| 2004 | Applying CLP to Predict Extra-Functional Properties of Component-Based Models. | Olivier Defour, Jean-Marc Jzquel, Nol Plouzeau |
| 2004 | Enhancing the Magic-Set Method for Disjunctive Datalog Programs. | Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone |
| 2004 | alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. | James Cheney, Christian Urban |
| 2004 | Limiting Resolution: From Foundations to Implementation. | Patrick Caldon, Eric Martin |
| 2004 | Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web. | Franois Bry, Paula-Lavinia Patranjan, Sebastian Schaffert |
| 2004 | The period Constraint. | Nicolas Beldiceanu, Emmanuel Poder |
| 2004 | Labeled Logic Programs. | Steve Barker |
| 2004 | Abstract Interpretation-Based Mobile Code Certification. | Elvira Albert, Germn Puebla, Manuel V. Hermenegildo |
| 2003 | Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. | Yuting Zhao, Fangzhen Lin |
| 2003 | On the Complexity of Dependent And-Parallelism in Logic Programming. | Yao Wu, Enrico Pontelli, Desh Ranjan |
| 2003 | A Logic Programming View of Authorization in Distributed Systems. | William H. Winsborough |
| 2003 | Native Preemptive Threads in SWI-Prolog. | Jan Wielemaker |
| 2003 | Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. | Frank D. Valencia |
| 2003 | Concurrency, Time, and Constraints. | Frank D. Valencia |
| 2003 | The Language Model LMNtal. | Kazunori Ueda, Norio Kato |
| 2003 | Controlling Semi-automatic Systems with FLUX. | Michael Thielscher |
| 2003 | Adding Preferences to Answer Set Planning. | Tran Cao Son, Enrico Pontelli |
| 2003 | Termination of Logic Programs for Various Dynamic Selection Rules. | Jan-Georg Smaus |