| 2000 | Calculating a New Data Mining Algorithm for Market Basket Analysis. | Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi |
| 2000 | HIPPO - A Declarative Graphical Modelling System. | Chris J. Hinde, Richard J. Reader, Kath Phelps |
| 2000 | CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. | Timothy J. Hickey |
| 2000 | A Functional Logic Programming Approach to Graphical User Interfaces. | Michael Hanus |
| 2000 | Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. | Gopal Gupta, Shameem F. Akhter |
| 2000 | GNU Prolog: Beyond Compiling Prolog to C. | Daniel Diaz, Philippe Codognet |
| 2000 | Heap Garbage Collection in XSB: Practice and Experience. | Bart Demoen, Konstantinos Sagonas |
| 2000 | Out-of-Core Functional Programming with Type-Based Primitives. | Tyng-Ruey Chuang, Shin-Cheng Mu |
| 2000 | A Toolkit for Constraint-Based Inference Engines. | Tee Yong Chew, Martin Henz, Ka Boon Ng |
| 2000 | Labeling and Partial Local Consistency for Soft Constraint Programming. | Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi |
| 2000 | A Logic-Based Information System. | Salvador Abreu |
| 1999 | Dead Code Elimination through Dependent Types. | Hongwei Xi |
| 1999 | An Application of Action Theory to the Space Shuttle. | Richard Watson |
| 1999 | ECLiPSe: Declarative Specification and Scaleable Implementation. | Mark Wallace, Joachim Schimpf |
| 1999 | A Flexible Framework for Dynamic and Static Slicing of Logic Programs. | Wamberto Weber Vasconcelos |
| 1999 | Developing a Declarative Rule Language for Applications in Product Configuration. | Timo Soininen, Ilkka Niemel |
| 1999 | The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. | Marcio G. Silva, Ins de Castro Dutra, Ricardo Bianchini, Vtor Santos Costa |
| 1999 | An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. | Babu Siddabathuni, Suzanne W. Dietrich, Susan Darling Urban |
| 1999 | A Return to Elegance: The Reapplication of Declarative Notation to Software Design. | David A. Schmidt |
| 1999 | Or-Parallelism within Tabling. | Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa |
| 1999 | Lambda in Motion: Controlling Robots with Haskell. | John Peterson, Paul Hudak, Conal Elliott |
| 1999 | Automated Benchmarking of Functional Data Structures. | Graeme E. Moss, Colin Runciman |
| 1999 | Client-Side Web Scripting with HaskellScript. | Erik Meijer, Daan Leijen, James Hook |
| 1999 | Mnesia - A Distributed Robust DBMS for Telecommunications Applications. | Hkan Mattsson, Hans Nilsson, Claes Wikstrm |
| 1999 | Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. | Patricio Letelier, Pedro Snchez, Isidro Ramos |