| 2003 | Adding the Temporal Relations in Semantic Web Ontologies. | Kwanho Jung, Hyunjang Kong, Junho Choi, Yoo-Jin Moon, Pankoo Kim |
| 2003 | A New Mode Declaration for Tabled Predicates. | Hai-Feng Guo, Gopal Gupta |
| 2003 | Implementing Constraint Propagation by Composition of Reductions. | Laurent Granvilliers, ric Monfroy |
| 2003 | Handling Existential Derived Predicates in View Updating. | Carles Farr, Ernest Teniente, Toni Urp |
| 2003 | Symbolic Model-Checking for Biochemical Systems. | Franois Fages |
| 2003 | Definitions in Answer Set Programming: (Extended Abstract). | Selim T. Erdogan, Vladimir Lifschitz |
| 2003 | Efficient Evaluation of Logic Programs for Querying Data Integration Systems. | Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo |
| 2003 | Uniform Equivalence of Logic Programs under the Stable Model Semantics. | Thomas Eiter, Michael Fink |
| 2003 | Flow Java: Declarative Concurrency for Java. | Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi |
| 2003 | Intensional Sets in CLP. | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2003 | Compositional Verification of Infinite State Systems. | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2003 | A Generic Persistence Model for (C)LP Systems. | Jess Correas, Jos M. Gmez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo |
| 2003 | A Tutorial on Proof Theoretic Foundations of Logic Programming. | Paola Bruscoli, Alessio Guglielmi |
| 2003 | A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods. | Rolf Backofen, Sebastian Will |
| 2003 | Objective: In Minimum Context. | Salvador Abreu, Daniel Diaz |
| 2002 | Fuzzy Prolog: A Simple General Implementation Using CLP(R). | Claudio Vaucheret, Sergio Guadarrama, Susana Muoz-Hernndez |
| 2002 | Reasoning about Actions with CHRs and Finite Domain Constraints. | Michael Thielscher |
| 2002 | Trailing Analysis for HAL. | Tom Schrijvers, Maria J. Garca de la Banda, Bart Demoen |
| 2002 | Logical Loops. | Joachim Schimpf |
| 2002 | Modelling Multi-agent Reactive Systems. | Prahladavaradan Sampath |
| 2002 | An Abductive Approach for Analysing Event-Based Requirements Specifications. | Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer |
| 2002 | A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming. | Brigitte Pientka |
| 2002 | Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints. | Giridhar Pemmasani, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2002 | A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. | David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2002 | Debugging in A-Prolog: A Logical Approach. | Mauricio Osorio, Juan Antonio Navarro Prez, Jos Arrazola |