default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-16 21:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
