| 2005 | OWL: A Description Logic Based Ontology Language. | Ian Horrocks |
| 2005 | SiLCC Is Linear Concurrent Constraint Programming. | Rmy Haemmerl |
| 2005 | On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). | Enrico Giunchiglia, Marco Maratea |
| 2005 | Techniques for Scaling Up Analyses Based on Pre-interpretations. | John P. Gallagher, Kim S. Henriksen, Gourinath Banda |
| 2005 | Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. | Thom W. Frhwirth |
| 2005 | The MYDDAS Project: Using a Deductive Database for Traffic Characterization. | Michel Ferreira |
| 2005 | Semantics of Framed Temporal Logic Programs. | Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny |
| 2005 | A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2005 | PS-LTL for Constraint-Based Security Protocol Analysis. | Ricardo Corin, Ari Saptawijaya, Sandro Etalle |
| 2005 | A Type System for CHR. | Emmanuel Coquery, Franois Fages |
| 2005 | Testing for Termination with Monotonicity Constraints. | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2005 | HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. | Henning Christiansen, Vernica Dahl |
| 2005 | Formalization and Verification of Interaction Protocols. | Federico Chesani |
| 2005 | Nondeterminism Analysis of Functional Logic Programs. | Bernd Brael, Michael Hanus |
| 2005 | A Distributed and Probabilistic Concurrent Constraint Programming Language. | Luca Bortolussi, Herbert Wiklicky |
| 2005 | Concurrent Methodologies for Global Optimization. | Luca Bortolussi |
| 2005 | Optimizing Queries for Heterogeneous Information Sources. | Andrs Gyrgy Bks |
| 2005 | Towards an Integration of Answer Set and Constraint Solving. | Sabrina Baselice, Piero A. Bonatti, Michael Gelfond |
| 2005 | A Well-Founded Semantics with Disjunction. | Joo F. L. Alcntara, Carlos Viegas Damsio, Lus Moniz Pereira |
| 2004 | Arc-Consistency + Unit Propagation = Lookahead. | Jia-Huai You, Guiwen Hou |
| 2004 | Compiling Prioritized Circumscription into Answer Set Programming. | Toshiko Wakaki, Katsumi Inoue |
| 2004 | Logic Programs with Annotated Disjunctions. | Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe |
| 2004 | Splitting an Operator. | Joost Vennekens, David Gilis, Marc Denecker |
| 2004 | Fast Query Evaluation with (Lazy) Control Flow Compilation. | Remko Tronon, Gerda Janssens, Henk Vandecasteele |
| 2004 | Agent Oriented Logic Programming Constructs in Jinni 2004. | Paul Tarau |