| 2001 | A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. | Hai-Feng Guo, Gopal Gupta |
| 2001 | A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. | Gianluigi Greco, Sergio Greco, Ester Zumpano |
| 2001 | Fages' Theorem for Programs with Nested Expressions. | Esra Erdem, Vladimir Lifschitz |
| 2001 | Proving Correctness and Completeness of Normal Programs - A Declarative Approach. | Wlodzimierz Drabent, Miroslawa Milkowska |
| 2001 | Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates. | Marc Denecker, Nikolay Pelov, Maurice Bruynooghe |
| 2001 | Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. | Patrick Cousot |
| 2001 | Solving the Multiplication Constraint in Several Approximation Spaces. | Alain Colmerauer |
| 2001 | Higher-Precision Groundness Analysis. | Michael Codish, Samir Genaim, Harald Sndergaard, Peter J. Stuckey |
| 2001 | Natural Language Tabular Parsing. | ric Villemonte de la Clergerie |
| 2001 | Understanding Memory Management in Prolog Systems. | Lus Fernando Castro, Vtor Santos Costa |
| 2001 | Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. | Nicolas Beldiceanu, Mats Carlsson |
| 2001 | Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. | Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma |
| 2001 | Building Constraint Solvers with HAL. | Maria J. Garca de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur |
| 2001 | Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. | Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura |
| 2001 | A Computational Model for Functional Logic Deductive Databases. | Jess Manuel Almendros-Jimnez, Antonio Becerra-Tern, Jaime Snchez-Hernndez |
| 1999 | Well-founded Semantics by Transformation: The Non-ground Case. | Ulrich Zukowski, Burkhard Freitag |
| 1999 | A Linear Tabling Mechanism. | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
| 1999 | Monotonicity in Rule Based Update. | Yan Zhang |
| 1999 | Termination Analysis for Abductive General Logic Programs. | Sofie Verbaeten |
| 1999 | Binding-time Analysis for Mercury. | Wim Vanhoof, Maurice Bruynooghe |
| 1999 | Computing Large and Small Stable Models. | Miroslaw Truszczynski |
| 1999 | Finding Fair Allocations for the Coalition Problem with Constraints. | Evan Tick, Roland H. C. Yap, Michael J. Maher |
| 1999 | Logics and Database Modelling. | Bernhard Thalheim |
| 1999 | Proving Termination of Input-Consuming Logic Programs. | Jan-Georg Smaus |
| 1999 | Algebra of Logic Programming. | Silvija Seres, J. Michael Spivey, C. A. R. Hoare |