| 2005 | A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. Agostino Dovier, Andrea Formisano, Enrico Pontelli |
| 2005 | A Distributed and Probabilistic Concurrent Constraint Programming Language. Luca Bortolussi, Herbert Wiklicky |
| 2005 | A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo |
| 2005 | A Generic Framework for the Analysis and Specialization of Logic Programs. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2005 | A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics. Christos Nomikos, Panos Rondogiannis, William W. Wadge |
| 2005 | A Temporal Programming Language for Heterogeneous Information Systems. Vítor Nogueira |
| 2005 | A Type System for CHR. Emmanuel Coquery, François Fages |
| 2005 | A Well-Founded Semantics with Disjunction. João F. L. Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira |
| 2005 | Abduction of Linear Arithmetic Constraints. Michael J. Maher |
| 2005 | An Optimised Semantic Web Query Language Implementation in Prolog. Jan Wielemaker |
| 2005 | Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary. Tom Schrijvers |
| 2005 | Analysis and Optimization of CHR Programs. Jon Sneyers |
| 2005 | Concurrent Methodologies for Global Optimization. Luca Bortolussi |
| 2005 | Coordination of Many Agents. Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
| 2005 | Decision Support for Personalization on Mobile Devices. Thomas Kleemann, Alex Sinner |
| 2005 | Deductive Multi-valued Model Checking. Ajay Mallya |
| 2005 | Denotational Semantics Using Horn Concurrent Transaction Logic. Marcus Vinicius Santos |
| 2005 | Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa |
| 2005 | Formalization and Verification of Interaction Protocols. Federico Chesani |
| 2005 | Gentra4cp: A Generic Trace Format for Constraint Programming. Ludovic Langevine |
| 2005 | Guard and Continuation Optimization for Occurrence Representations of CHR. Jon Sneyers, Tom Schrijvers, Bart Demoen |
| 2005 | HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. Henning Christiansen, Verónica Dahl |
| 2005 | Hybrid Probabilistic Logic Programs with Non-monotonic Negation. Emad Saad, Enrico Pontelli |
| 2005 | Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. Tony Lambert, Carlos Castro, Éric Monfroy, María Cristina Riff, Frédéric Saubion |
| 2005 | IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa |
| 2005 | Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings Maurizio Gabbrielli, Gopal Gupta |
| 2005 | Modeling Systems in CLP. Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2005 | Nondeterminism Analysis of Functional Logic Programs. Bernd Braßel, Michael Hanus |
| 2005 | Nonmonotonic Logic Programs for the Semantic Web. Roman Schindlauer |
| 2005 | OWL: A Description Logic Based Ontology Language. Ian Horrocks |
| 2005 | On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). Enrico Giunchiglia, Marco Maratea |
| 2005 | Open World Reasoning in Datalog. Gergely Lukácsy, Zsolt Nagy |
| 2005 | Optimizing Queries for Heterogeneous Information Sources. András György Békés |
| 2005 | PS-LTL for Constraint-Based Security Protocol Analysis. Ricardo Corin, Ari Saptawijaya, Sandro Etalle |
| 2005 | Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. Thom W. Frühwirth |
| 2005 | Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. Manh Thang Nguyen, Danny De Schreye |
| 2005 | Practical Higher-Order Pattern Unification with On-the-Fly Raising. Gopalan Nadathur, Natalie Linnell |
| 2005 | Preference Reasoning. Francesca Rossi |
| 2005 | Reducing Inductive Definitions to Propositional Satisfiability. Nikolay Pelov, Eugenia Ternovska |
| 2005 | Semantics of Framed Temporal Logic Programs. Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny |
| 2005 | SiLCC Is Linear Concurrent Constraint Programming. Rémy Haemmerlé |
| 2005 | Small Proof Witnesses for LF. Susmit Sarkar, Brigitte Pientka, Karl Crary |
| 2005 | Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. Diptikalyan Saha, C. R. Ramakrishnan |
| 2005 | Techniques for Scaling Up Analyses Based on Pre-interpretations. John P. Gallagher, Kim S. Henriksen, Gourinath Banda |
| 2005 | Testing for Termination with Monotonicity Constraints. Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2005 | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | The MYDDAS Project: Using a Deductive Database for Traffic Characterization. Michel Ferreira |
| 2005 | The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. Oliver Ray |
| 2005 | Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. Hans Tompits, Stefan Woltran |
| 2005 | Towards an Integration of Answer Set and Constraint Solving. Sabrina Baselice, Piero A. Bonatti, Michael Gelfond |
| 2005 | Use of Logic Programming for Complex Business Rules. Walter G. Wilson |
| 2005 | Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process. Alexandre S. Saidi |