| 2001 | A Meta-heuristic for Subset Problems. Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
| 2001 | A Model Checker for Value-Passing Mu-Calculus Using Logic Programming. C. R. Ramakrishnan |
| 2001 | A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. Satyam Tyagi, Paul Tarau |
| 2001 | A Novel Implementation of the Extended Andorra Model. Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva |
| 2001 | An A-Prolog Decision Support System for the Space Shuttle. Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry |
| 2001 | Compiling High-Level Type Constructors in Constraint Programming. Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
| 2001 | Constraint Database Models Characterizing Timed Bisimilarity. Supratik Mukhopadhyay, Andreas Podelski |
| 2001 | Construction and Optimization of a Parallel Engine for Answer Set Programming. Enrico Pontelli, Omar El-Khatib |
| 2001 | Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. Michael Leuschel |
| 2001 | FVision: A Declarative Language for Visual Tracking. John Peterson, Paul Hudak, Alastair Reid, Gregory D. Hager |
| 2001 | Frappé: Functional Reactive Programming in Java. Antony Courtney |
| 2001 | From Subject Directories to Subject Meta-directories via Declarative Programming. Antonio Brogi, Gianluca Caruso |
| 2001 | High-Level Server Side Web Scripting in Curry. Michael Hanus |
| 2001 | Interoperability between Bioinformatics Tools: A Logic Programming Approach. Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontelli, Desh Ranjan, Brook Milligan |
| 2001 | Logic Programming Techniques for Dynamic VRML Web Content Generation. Anima Gupta, Paul Tarau |
| 2001 | Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings I. V. Ramakrishnan |
| 2001 | Programming Goal-Driven Web Sites Using an Agent Logic Language. Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti |
| 2001 | Secure Deductive Databases. Steve Barker |
| 2001 | Soft Constraints for Security Protocol Analysis: Confidentiality. Giampaolo Bella, Stefano Bistarelli |
| 2001 | Soundcheck for SQL. Hendrik Decker |
| 2001 | Spatio-temporal Annotated Constraint Logic Programming. Alessandra Raffaetà, Thom W. Frühwirth |
| 2001 | Specifying Authentication Protocols Using Rewriting and Strategies. Horatiu Cirstea |
| 2001 | State Generation in the PARMC Model Checker. Owen Kaser |
| 2001 | tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. Enrico Denti, Andrea Omicini, Alessandro Ricci |