| 2000 | A Functional Logic Programming Approach to Graphical User Interfaces. Michael Hanus |
| 2000 | A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza |
| 2000 | A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database. Ching-Long Yeh |
| 2000 | A Logic-Based Information System. Salvador Abreu |
| 2000 | A Toolkit for Constraint-Based Inference Engines. Tee Yong Chew, Martin Henz, Ka Boon Ng |
| 2000 | CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. Timothy J. Hickey |
| 2000 | Calculating a New Data Mining Algorithm for Market Basket Analysis. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi |
| 2000 | Current Trends in Logic Programming: Prospects and Promises. I. V. Ramakrishnan |
| 2000 | First Class Patterns. Mark Tullsen |
| 2000 | GNU Prolog: Beyond Compiling Prolog to C. Daniel Diaz, Philippe Codognet |
| 2000 | HIPPO - A Declarative Graphical Modelling System. Chris J. Hinde, Richard J. Reader, Kath Phelps |
| 2000 | Heap Garbage Collection in XSB: Practice and Experience. Bart Demoen, Konstantinos Sagonas |
| 2000 | How to Incorporate Negation in a Prolog Compiler. Juan José Moreno-Navarro, Susana Muñoz-Hernández |
| 2000 | Implementation of a Linear Tabling Mechanism. Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
| 2000 | Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. Gopal Gupta, Shameem F. Akhter |
| 2000 | Labeling and Partial Local Consistency for Soft Constraint Programming. Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi |
| 2000 | Modeling HTML in Haskell. Peter Thiemann |
| 2000 | Out-of-Core Functional Programming with Type-Based Primitives. Tyng-Ruey Chuang, Shin-Cheng Mu |
| 2000 | Parallel Functional Reactive Programming. John Peterson, Valery Trifonov, Andrei Serjantov |
| 2000 | Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings Enrico Pontelli, Vítor Santos Costa |
| 2000 | Production-Quality Proof-Carrying Code. Peter Lee |
| 2000 | Programming Deep Concurrent Constraint Combinators. Christian Schulte |
| 2000 | Transformation-by-Example for XML. Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke |
| 2000 | Using Static Analysis to Compile Non-sequential Functional Logic Programs. Julio Mariño, Juan José Moreno-Navarro |