| 2003 | A Constraint-Based Approach to Structure Prediction for Simplified Protein Models That Outperforms Other Existing Methods. Rolf Backofen, Sebastian Will |
| 2003 | A Distinct-Head Folding Rule. David A. Rosenblueth |
| 2003 | A Generic Persistence Model for (C)LP Systems. Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo |
| 2003 | A Logic Programming View of Authorization in Distributed Systems. William H. Winsborough |
| 2003 | A New Mode Declaration for Tabled Predicates. Hai-Feng Guo, Gopal Gupta |
| 2003 | A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. Ludovic Langevine, Mireille Ducassé, Pierre Deransart |
| 2003 | A Real Implementation for Constructive Negation. Susana Muñoz-Hernández, Juan José Moreno-Navarro |
| 2003 | A Tutorial on Proof Theoretic Foundations of Logic Programming. Paola Bruscoli, Alessio Guglielmi |
| 2003 | Achieving Type Safety for Low-Level Code. J. Gregory Morrisett |
| 2003 | Adding Preferences to Answer Set Planning. Tran Cao Son, Enrico Pontelli |
| 2003 | Adding the Temporal Relations in Semantic Web Ontologies. Kwanho Jung, Hyunjang Kong, Junho Choi, Yoo-Jin Moon, Pankoo Kim |
| 2003 | Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. Yuting Zhao, Fangzhen Lin |
| 2003 | Argumentation Databases. Shekhar Pradhan |
| 2003 | Component-Based Software Development and Logic Programming. Kung-Kiu Lau |
| 2003 | Compositional Verification of Infinite State Systems. Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2003 | Computing Minimal Models, Stable Models, and Answer Sets. Zbigniew Lonc, Miroslaw Truszczynski |
| 2003 | Concurrency, Time, and Constraints. Frank D. Valencia |
| 2003 | Controlling Semi-automatic Systems with FLUX. Michael Thielscher |
| 2003 | Default Knowledge in Logic Programs with Uncertainty. Yann Loyer, Umberto Straccia |
| 2003 | Definitions in Answer Set Programming: (Extended Abstract). Selim T. Erdogan, Vladimir Lifschitz |
| 2003 | Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents. Alexei A. Morozov |
| 2003 | Efficient Evaluation of Logic Programs for Querying Data Integration Systems. Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo |
| 2003 | Flow Java: Declarative Concurrency for Java. Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi |
| 2003 | Forward versus Backward Verification of Logic Programs. Andy King, Lunjin Lu |
| 2003 | Handling Existential Derived Predicates in View Updating. Carles Farré, Ernest Teniente, Toni Urpí |
| 2003 | Higher-Order Substitution Tree Indexing. Brigitte Pientka |
| 2003 | Implementing Constraint Propagation by Composition of Reductions. Laurent Granvilliers, Éric Monfroy |
| 2003 | Incremental Evaluation of Tabled Logic Programs. Diptikalyan Saha, C. R. Ramakrishnan |
| 2003 | Inducing Musical Rules with ILP. Rafael Ramírez |
| 2003 | Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation. Yoo-Jin Moon, Kyongho Min, Youngho Hwang, Pankoo Kim |
| 2003 | Intensional Sets in CLP. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
| 2003 | Is There an Optimal Generic Semantics for First-Order Equations?. Jan-Georg Smaus |
| 2003 | Logic Information Systems for Logic Programmers. Olivier Ridoux |
| 2003 | Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings Catuscia Palamidessi |
| 2003 | Loop Formulas for Disjunctive Logic Programs. Joohyung Lee, Vladimir Lifschitz |
| 2003 | Native Preemptive Threads in SWI-Prolog. Jan Wielemaker |
| 2003 | Objective: In Minimum Context. Salvador Abreu, Daniel Diaz |
| 2003 | On Deterministic Computations in the Extended Andorra Model. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
| 2003 | On the Complexity of Dependent And-Parallelism in Logic Programming. Yao Wu, Enrico Pontelli, Desh Ranjan |
| 2003 | Online Justification for Tabled Logic Programs. Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 2003 | Order and Negation as Failure. Davy Van Nieuwenborgh, Dirk Vermeir |
| 2003 | Polynomial-Time Learnability from Entailment. M. R. K. Krishna Rao |
| 2003 | Refactoring Logic Programs: Extended Abstract. Alexander Serebrenik, Bart Demoen |
| 2003 | Simulating Security Systems Based on Logigrams. Kaninda Musumbu |
| 2003 | Symbolic Model-Checking for Biochemical Systems. François Fages |
| 2003 | Termination Analysis of Logic Programs: Extended Abstract. Alexander Serebrenik |
| 2003 | Termination Analysis with Types Is More Accurate. Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey |
| 2003 | Termination of Logic Programs for Various Dynamic Selection Rules. Jan-Georg Smaus |
| 2003 | The Language Model LMNtal. Kazunori Ueda, Norio Kato |
| 2003 | Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. Frank D. Valencia |
| 2003 | Uniform Equivalence of Logic Programs under the Stable Model Semantics. Thomas Eiter, Michael Fink |