| 1999 | A Fixpoint Semantics for Reasoning about Finite Failure. Roberta Gori |
| 1999 | A Partial Evaluation Framework for Curry Programs. Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal |
| 1999 | Abstracting Properties in Concurrent Constraint Programming. René Moreno |
| 1999 | Animating TLA Specifications. Yassin Mokhtari, Stephan Merz |
| 1999 | Beth Definability for the Guarded Fragment. Eva Hoogland, Maarten Marx, Martin Otto |
| 1999 | CHAT Is Theta(SLG-Wam). Bart Demoen, Konstantinos Sagonas |
| 1999 | Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups. Uwe Waldmann |
| 1999 | Complexity of Terminological Reasoning Revisited. Carsten Lutz |
| 1999 | Evidence Algorithm and Sequent Logical Inference Search. Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets |
| 1999 | Extensions to the Estimation Calculus. Jeremy Gow, Alan Bundy, Ian Green |
| 1999 | First Order Linear Temporal Logic over Finite Time Structures. Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud |
| 1999 | Fucusing and Proof-Nets in Linear and Non-commutative Logic. Jean-Marc Andreoli, Roberto Maieli |
| 1999 | Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings Harald Ganzinger, David A. McAllester, Andrei Voronkov |
| 1999 | Model Checking Games for the Alternation-Free µ-Calculus and Alternating Automata. Martin Leucker |
| 1999 | On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System. Miki Hermann, Laurent Juban, Phokion G. Kolaitis |
| 1999 | On the Complexity of Single-Rule Datalog Queries. Georg Gottlob, Christos H. Papadimitriou |
| 1999 | Practical Reasoning for Expressive Description Logics. Ian Horrocks, Ulrike Sattler, Stephan Tobies |
| 1999 | Proofs About Lists Using Ellipsis. Alan Bundy, Julian Richardson |
| 1999 | Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog. Nikolay Pelov, Maurice Bruynooghe |
| 1999 | Regular Sets of Descendants for Constructor-Based Rewrite Systems. Pierre Réty |
| 1999 | Resource Management in Linear Logic Search Revisited. Pablo López, Ernesto Pimentel |
| 1999 | Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. Michael Dierkes |
| 1999 | Solving Combinatorial Problems with Regular Local Search Algorithms. Ramón Béjar, Felip Manyà |
| 1999 | Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems. Enno Ohlebusch |