| 1999 | A Characterization of Acceptability. Pascal Hitzler, Anthony Karel Seda |
| 1999 | A Generic Approach to Monitor Program Executions. Erwan Jahier, Mireille Ducassé |
| 1999 | A Linear Tabling Mechanism. Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
| 1999 | A Regular Type Analysis of Logic Programs. Lunjin Lu, John G. Cleary |
| 1999 | A Static Analysis for Classical Linear Logic Programming Language. Kyoung-Sun Kang, Naoyuki Tamura |
| 1999 | ACI1 Constraints. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
| 1999 | Adding Functions to SICStus Prolog. Tibor Ásványi |
| 1999 | Adventures in the Prolog Trade. Kenneth A. Bowen |
| 1999 | Algebra of Logic Programming. Silvija Seres, J. Michael Spivey, C. A. R. Hoare |
| 1999 | An Optimized Prolog Encoding of Typed Feature Structures. Gerald Penn |
| 1999 | Answer Set Planning. Vladimir Lifschitz |
| 1999 | Binding-time Analysis for Mercury. Wim Vanhoof, Maurice Bruynooghe |
| 1999 | Bounded Nondeterminism of Logic Programs. Dino Pedreschi, Salvatore Ruggieri |
| 1999 | CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms. Yves Caseau, François-Xavier Josset, François Laburthe |
| 1999 | Comparing Trailing and Copying for Constraint Programming. Christian Schulte |
| 1999 | Computing Large and Small Stable Models. Miroslaw Truszczynski |
| 1999 | Concurrency in Prolog Using Threads and a Shared Database. Manuel Carro, Manuel V. Hermenegildo |
| 1999 | Constraint-based Round Robin Tournament Planning. Martin Henz |
| 1999 | Declarative Priority in a Concurrent Logic Language O Keiji Hirata, Kenichi Yamazaki |
| 1999 | Declarative Programming for a Messy World. Fernando C. N. Pereira |
| 1999 | Declarative Pruning in a Functional Query Language. Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves |
| 1999 | Disjunctive Logic Programs with Inheritance. Francesco Buccafurri, Wolfgang Faber, Nicola Leone |
| 1999 | Domains as First Class Objects in CLP(FD). Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano |
| 1999 | Event, Property, and Hierarchy in Order-Sorted Logic. Ken Kaneiwa, Satoshi Tojo |
| 1999 | Extensionality of Simply Typed Logic Programs. Marc Bezem |
| 1999 | Finding Fair Allocations for the Coalition Problem with Constraints. Evan Tick, Roland H. C. Yap, Michael J. Maher |
| 1999 | From Prolog and Zelta to ToonTalk. Kenneth M. Kahn |
| 1999 | Generalized Unfold/fold Transformation Systems for Normal Logic Programs. Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
| 1999 | Generating Deductive Database Explanations. Sarah Mallet, Mireille Ducassé |
| 1999 | Herbrand Constraint Solving in HAL. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1999 | Implementing Prolog with Chronological Garbage Collection. Xining Li |
| 1999 | Isoinitial Models for Logic Programs: Some Preliminary Results. Kung-Kiu Lau, Mario Ornaghi |
| 1999 | It Is Declarative. Wlodzimierz Drabent |
| 1999 | Lightweight Lemmas in lambda-Prolog. Andrew W. Appel, Amy P. Felty |
| 1999 | Logic Programming in Oz with Mozart. Peter Van Roy |
| 1999 | Logic Programming with Requests. Sandro Etalle, Femke van Raamsdonk |
| 1999 | Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999 Danny De Schreye |
| 1999 | Logics and Database Modelling. Bernhard Thalheim |
| 1999 | Monotonicity in Rule Based Update. Yan Zhang |
| 1999 | Multiple Terms in a Tabled Logic Programming System. Baoqiu Cui, David Scott Warren |
| 1999 | Optimization of Disjunctive Queries. Sergio Greco |
| 1999 | Practical Investigation of Constraints with Graph Views. Tobias Müller |
| 1999 | Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García |
| 1999 | Proving Termination of Input-Consuming Logic Programs. Jan-Georg Smaus |
| 1999 | Reactive Logic Programming by Reinforcement Learning. Taisuke Sato, Satoshi Funada |
| 1999 | Revising Hull and Box Consistency. Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget |
| 1999 | Semantic Definitions for Normal Open Programs. Fernando Orejas, Elvira Pino |
| 1999 | Soving TSP with Time Windows with Constraints. Filippo Focacci, Michela Milano, Andrea Lodi |
| 1999 | Stack-splitting: Or-/And-parallelism on Distributed Memory Machines. Gopal Gupta, Enrico Pontelli |
| 1999 | Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. Angelo E. M. Ciarlini, Thom W. Frühwirth |
| 1999 | Temporal Probabilistic Logic Programs. Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian |
| 1999 | Termination Analysis for Abductive General Logic Programs. Sofie Verbaeten |
| 1999 | The Relative Complement Problem for Higher-Order Patterns. Alberto Momigliano, Frank Pfenning |
| 1999 | Transforming Inductive Definitions. Maurizio Proietti, Alberto Pettorossi |
| 1999 | Using Static Analysis to Compile Non-sequential Functional Logic Programs. Julio Mariño, Juan José Moreno-Navarro |
| 1999 | Well-founded Abduction via Tabled Dual Programs. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift |
| 1999 | Well-founded Semantics by Transformation: The Non-ground Case. Ulrich Zukowski, Burkhard Freitag |