Theory and Practice of Logic Programming (TPLP), Volume 2

Volume 2, Number 1, January 2002

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

Volume 2, Number 2, March 2002

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

Volume 2, Number 3, May 2002

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

Volume 2, Number 4-5, July-September 2002

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

Volume 2, Number 6, November 2002

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

Last update Sat May 25 17:02:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page