External Links

    Journal: TPLP

    Volume 2, Issue 6

    645 -- 709Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits. Using Methods of Declarative Logic Programming for Intelligent Information Agents
    711 -- 767Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits. On Properties of Update Sequences Based on Causal Rejection
    769 -- 805Yves Caseau, François-Xavier Josset, François Laburthe. CLAIRE: Combining sets, search and rules to better express algorithms

    Volume 2, Issue 4-5

    423 -- 424Maurice Bruynooghe, Kung-Kiu Lau. Special Issue on Program Development, Guest Editors Introduction
    425 -- 460Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson. A refinement calculus for logic programs
    461 -- 515Michael Leuschel, Maurice Bruynooghe. Logic program specialisation through partial deduction: Control issues
    517 -- 547Andy King, Lunjin Lu. A Backward Analysis for Constraint Logic Programs
    549 -- 610Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak. Using parametric set constraints for locating errors in CLP programs
    611 -- 643Erwan Jahier, Mireille Ducassé. Generic program monitoring by trace analysis

    Volume 2, Issue 3

    263 -- 291Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi. On modular termination proofs of general logic programs
    293 -- 321Francesco Buccafurri, Wolfgang Faber, Nicola Leone. Disjunctive Logic Programs with Inheritance
    323 -- 368John Grant, Jack Minker. A logic-based approach to data integration
    369 -- 418Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus. Classes of terminating logic programs
    419 -- 421Yde Venema. Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6

    Volume 2, Issue 2

    125 -- 154Annalisa Bossi, Sandro Etalle, Sabina Rossi. Properties of input-consuming derivations
    155 -- 201Patricia M. Hill, Roberto Bagnara, Enea Zaffanella. Soundness, idempotence and commutativity of set-sharing
    203 -- 232David A. Rosenblueth. Chain Programs for Writing Deterministic Metainterpreters
    233 -- 261Enea Zaffanella, Patricia M. Hill, Roberto Bagnara. Decomposing non-redundant sharing by complementation

    Volume 2, Issue 1

    25 -- 84Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck. Sequence-based abstract interpretation of Prolog
    85 -- 122Marco Bozzano, Giorgio Delzanno, Maurizio Martelli. An effective fixpoint semantics for linear logic programs
    123 -- 124Krzysztof R. Apt. Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7
    runs on