| 2003 | Is There an Optimal Generic Semantics for First-Order Equations?. | Jan-Georg Smaus |
| 2003 | Refactoring Logic Programs: Extended Abstract. | Alexander Serebrenik, Bart Demoen |
| 2003 | Termination Analysis of Logic Programs: Extended Abstract. | Alexander Serebrenik |
| 2003 | Incremental Evaluation of Tabled Logic Programs. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2003 | A Distinct-Head Folding Rule. | David A. Rosenblueth |
| 2003 | Logic Information Systems for Logic Programmers. | Olivier Ridoux |
| 2003 | Polynomial-Time Learnability from Entailment. | M. R. K. Krishna Rao |
| 2003 | Inducing Musical Rules with ILP. | Rafael Ramrez |
| 2003 | Argumentation Databases. | Shekhar Pradhan |
| 2003 | Higher-Order Substitution Tree Indexing. | Brigitte Pientka |
| 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 | Simulating Security Systems Based on Logigrams. | Kaninda Musumbu |
| 2003 | A Real Implementation for Constructive Negation. | Susana Muoz-Hernndez, Juan Jos Moreno-Navarro |
| 2003 | Achieving Type Safety for Low-Level Code. | J. Gregory Morrisett |
| 2003 | Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents. | Alexei A. Morozov |
| 2003 | Integration of Semantic Networks for Corpus-Based Word Sense Disambiguation. | Yoo-Jin Moon, Kyongho Min, Youngho Hwang, Pankoo Kim |
| 2003 | Default Knowledge in Logic Programs with Uncertainty. | Yann Loyer, Umberto Straccia |
| 2003 | On Deterministic Computations in the Extended Andorra Model. | Ricardo Lopes, Vtor Santos Costa, Fernando M. A. Silva |
| 2003 | Computing Minimal Models, Stable Models, and Answer Sets. | Zbigniew Lonc, Miroslaw Truszczynski |
| 2003 | Loop Formulas for Disjunctive Logic Programs. | Joohyung Lee, Vladimir Lifschitz |
| 2003 | Component-Based Software Development and Logic Programming. | Kung-Kiu Lau |
| 2003 | A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation. | Ludovic Langevine, Mireille Ducass, Pierre Deransart |
| 2003 | Termination Analysis with Types Is More Accurate. | Vitaly Lagoon, Frdric Mesnard, Peter J. Stuckey |
| 2003 | Forward versus Backward Verification of Logic Programs. | Andy King, Lunjin Lu |