| 1999 | Comparing Trailing and Copying for Constraint Programming. | Christian Schulte |
| 1999 | Reactive Logic Programming by Reinforcement Learning. | Taisuke Sato, Satoshi Funada |
| 1999 | Generalized Unfold/fold Transformation Systems for Normal Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
| 1999 | Logic Programming in Oz with Mozart. | Peter Van Roy |
| 1999 | Transforming Inductive Definitions. | Maurizio Proietti, Alberto Pettorossi |
| 1999 | Declarative Programming for a Messy World. | Fernando C. N. Pereira |
| 1999 | An Optimized Prolog Encoding of Typed Feature Structures. | Gerald Penn |
| 1999 | Bounded Nondeterminism of Logic Programs. | Dino Pedreschi, Salvatore Ruggieri |
| 1999 | Declarative Pruning in a Functional Query Language. | Mauricio Osorio, Bharat Jayaraman, Juan Carlos Nieves |
| 1999 | Semantic Definitions for Normal Open Programs. | Fernando Orejas, Elvira Pino |
| 1999 | Practical Investigation of Constraints with Graph Views. | Tobias Mller |
| 1999 | The Relative Complement Problem for Higher-Order Patterns. | Alberto Momigliano, Frank Pfenning |
| 1999 | Using Static Analysis to Compile Non-sequential Functional Logic Programs. | Julio Mario, Juan Jos Moreno-Navarro |
| 1999 | Generating Deductive Database Explanations. | Sarah Mallet, Mireille Ducass |
| 1999 | A Regular Type Analysis of Logic Programs. | Lunjin Lu, John G. Cleary |
| 1999 | Answer Set Planning. | Vladimir Lifschitz |
| 1999 | Implementing Prolog with Chronological Garbage Collection. | Xining Li |
| 1999 | Isoinitial Models for Logic Programs: Some Preliminary Results. | Kung-Kiu Lau, Mario Ornaghi |
| 1999 | A Static Analysis for Classical Linear Logic Programming Language. | Kyoung-Sun Kang, Naoyuki Tamura |
| 1999 | Event, Property, and Hierarchy in Order-Sorted Logic. | Ken Kaneiwa, Satoshi Tojo |
| 1999 | From Prolog and Zelta to ToonTalk. | Kenneth M. Kahn |
| 1999 | A Generic Approach to Monitor Program Executions. | Erwan Jahier, Mireille Ducass |
| 1999 | A Characterization of Acceptability. | Pascal Hitzler, Anthony Karel Seda |
| 1999 | Declarative Priority in a Concurrent Logic Language O | Keiji Hirata, Kenichi Yamazaki |
| 1999 | Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. | Manuel V. Hermenegildo, Francisco Bueno, Germn Puebla, Pedro Lpez-Garca |