| 2003 | A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises. Ana Paula Tomás, José Paulo Leal |
| 2003 | A Logical Framework for Modelling eMAS. Pierangelo Dell'Acqua, Luís Moniz Pereira |
| 2003 | A Strafunski Application Letter. Ralf Lämmel, Joost Visser |
| 2003 | ACTILOG: An Agent Activation Language. Jacinto A. Dávila |
| 2003 | An Integrated Information System Powered by Prolog. António Porto |
| 2003 | DATALOG with Constraints: A Foundation for Trust Management Languages. Ninghui Li, John C. Mitchell |
| 2003 | Data Mining the Yeast Genome in a Lazy Functional Language. Amanda Clare, Ross D. King |
| 2003 | Functional Hybrid Modeling. Henrik Nilsson, John Peterson, Paul Hudak |
| 2003 | Garbage Collection Algorithms for Java-Based Prolog Engines. Qinan Zhou, Paul Tarau |
| 2003 | JMatch: Iterable Abstract Pattern Matching for Java. Jed Liu, Andrew C. Myers |
| 2003 | Lambda Goes to Hollywood. Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez |
| 2003 | Logic Programs as Compact Denotations. Patricia M. Hill, Fausto Spoto |
| 2003 | Logic Programs for Querying Inconsistent Databases. Pablo Barceló, Leopoldo E. Bertossi |
| 2003 | Multi-agent Reactive Systems. Prahladavaradan Sampath |
| 2003 | Non-monotonic Reasoning on Beowulf Platforms. Enrico Pontelli, Marcello Balduccini, F. Bermudez |
| 2003 | Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings Verónica Dahl, Philip Wadler |
| 2003 | Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming. Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, Donald Ringe |
| 2003 | Roll : A Language for Specifying Die-Rolls. Torben Æ. Mogensen |
| 2003 | SXSLT: Manipulation Language for XML. Oleg Kiselyov, Shriram Krishnamurthi |
| 2003 | Sequence Quantification. Peter Schachte |
| 2003 | Solving Combinatorial Problems with a Constraint Functional Logic Language. Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez |
| 2003 | The CONTINUE Server (or, How I Administered PADL 2002 and 2003). Shriram Krishnamurthi |
| 2003 | The Role of Declarative Languages in Mining Biological Databases. C. David Page Jr. |
| 2003 | Type-Based XML Processing in Logic Programming. Jorge Coelho, Mário Florido |
| 2003 | WAM Local Analysis. Michel Ferreira, Luís Damas |
| 2003 | Web Programming with SMLserver. Martin Elsman, Niels Hallenberg |
| 2003 | Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. Gérard P. Huet |