| 2005 | Nonmonotonic Logic Programs for the Semantic Web. | Roman Schindlauer |
| 2005 | Small Proof Witnesses for LF. | Susmit Sarkar, Brigitte Pientka, Karl Crary |
| 2005 | Denotational Semantics Using Horn Concurrent Transaction Logic. | Marcus Vinicius Santos |
| 2005 | Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process. | Alexandre S. Saidi |
| 2005 | Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2005 | Hybrid Probabilistic Logic Programs with Non-monotonic Negation. | Emad Saad, Enrico Pontelli |
| 2005 | Preference Reasoning. | Francesca Rossi |
| 2005 | Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 2005 | IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. | Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vtor Santos Costa |
| 2005 | The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic. | Oliver Ray |
| 2005 | A Generic Framework for the Analysis and Specialization of Logic Programs. | Germn Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2005 | Reducing Inductive Definitions to Propositional Satisfiability. | Nikolay Pelov, Eugenia Ternovska |
| 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. | Vtor Nogueira |
| 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 | A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. | Jos F. Morales, Manuel Carro, Germn Puebla, Manuel V. Hermenegildo |
| 2005 | Deductive Multi-valued Model Checking. | Ajay Mallya |
| 2005 | Abduction of Linear Arithmetic Constraints. | Michael J. Maher |
| 2005 | Open World Reasoning in Datalog. | Gergely Lukcsy, Zsolt Nagy |
| 2005 | Gentra4cp: A Generic Trace Format for Constraint Programming. | Ludovic Langevine |
| 2005 | Hybridization of Genetic Algorithms and Constraint Propagation for the BACP. | Tony Lambert, Carlos Castro, ric Monfroy, Mara Cristina Riff, Frdric Saubion |
| 2005 | Decision Support for Personalization on Mobile Devices. | Thomas Kleemann, Alex Sinner |
| 2005 | Coordination of Many Agents. | Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu |
| 2005 | Modeling Systems in CLP. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |