Volume 2,
Number 1,
January 2002
Volume 2,
Number 2,
March 2002
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
Special Issue Program Development
- 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
Copyright © Fri Mar 12 17:34:04 2010
by Michael Ley (ley@uni-trier.de)