Please use the TPLP citation in your papers, not the corr one!
Volume 2, Issue 1
Regular Papers
- Computing large and small stable models, Miroslaw Truszczynski. (pp 1-23)
- Sequence-Based Abstract Interpretation Of Prolog, Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck. (pp 25 – 84)
- An Effective Fixpoint Semantics For Linear Logic Programs, Marco Bozzano, Giorgio Delzanno, Maurizio Martelli. (pp 85 – 122)
Book Review
- Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7, Krzysztof R. Apt. (pp 123-124) [html] [pdf]
Volume 2, Issue 2
Regular Papers
- Properties Of Input-Consuming Derivations, Annalisa Bossi, Sabina Rossi, Sandro Etalle. (pp 125 – 154)
- Soundness, Idempotence And Commutativity Of Set-Sharing, Patricia M. Hill, Roberto Bagnara, Enea Zaffanella. (pp 155 – 201)
- Chain Programs For Writing Deterministic Metainterpreters, David A. Rosenblueth. (pp 203 – 232)
- Decomposing Non-Redundant Sharing By Complementation, Enea Zaffanella, Patricia M. Hill, Roberto Bagnara. (pp 233 – 261)
Volume 2, Issue 3
Regular Papers
- On Modular Termination Proofs Of General Logic Programs, Annalisa Bossi, Nicoletta Cocco, Sabina Rossi, Sandro Etalle. (pp 263 – 291)
- Disjunctive Logic Programs With Inheritance, Francesco Buccafurri, Wolfgang Faber, Nicola Leone. (pp 293 – 321)
- A Logic-Based Approach To Data Integration, John Grant, Jack Minker. (pp 323 – 368)
- Classes Of Terminating Logic Programs, Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus. (pp 369 – 418)
Book Review
- Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6,Yde Venema. (pp 419-421) [html] [pdf]
Volume 2, Issue 4 & Issue 5
Special Issue Program Development
- Special Issue On ‘Program Development, Guest Editors’ Introduction, Maurice Bruynooghe, Kung-Kiu Lau. (pp 423 – 424)
- A Refinement Calculus For Logic Programs, Ian Hayes, Robert Colvin, David Hemer, Paul Strooper, Ray Nickson. (pp 425 – 460)
- Logic Program Specialisation Through Partial Deduction: Control Issues, Michael Leuschel, Maurice Bruynooghe. (pp 461 – 515)
- A Backward Analysis For Constraint Logic Programs, Andy King, Lunjin Lu. (pp 517 – 547)
- Using parametric set constraints for locating errors in CLP programs,Wlodzimierz Drabent , Jan Maluszynski , Pawel Pietrzak. (pp 549-610)
- Generic Program Monitoring By Trace Analysis, Erwan Jahier, Mireille Ducassé. (pp 611 – 643)
Volume 2, Issue 6
Regular Papers
- Using Methods Of Declarative Logic Programming For Intelligent Information Agents, Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits. (pp 645 – 709)
- On Properties Of Update Sequences Based On Causal Rejection, Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits. (pp 711 – 767)
- CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms, Yves Caseau, François-Xavier Josset , François Laburthe. (pp 769 – 805)