Research Article
Properties of Input-Consuming Derivations
-
- Published online by Cambridge University Press:
- 25 March 2002, pp. 125-154
-
- Article
- Export citation
Using methods of declarative logic programming for intelligent information agents
-
- Published online by Cambridge University Press:
- 13 November 2002, pp. 645-709
-
- Article
- Export citation
On modular termination proofs of general logic programs
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 263-291
-
- Article
- Export citation
Special issue on ‘Program development’
-
- Published online by Cambridge University Press:
- 26 July 2002, pp. 423-424
-
- Article
- Export citation
Computing large and small stable models
-
- Published online by Cambridge University Press:
- 18 December 2001, pp. 1-23
-
- Article
- Export citation
Disjunctive logic programs with inheritance
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 293-321
-
- Article
- Export citation
A refinement calculus for logic programs
-
- Published online by Cambridge University Press:
- 26 July 2002, pp. 425-460
-
- Article
- Export citation
Soundness, idempotence and commutativity of set-sharing
-
- Published online by Cambridge University Press:
- 25 March 2002, pp. 155-201
-
- Article
- Export citation
On properties of update sequences based on causal rejection
-
- Published online by Cambridge University Press:
- 13 November 2002, pp. 711-767
-
- Article
- Export citation
Sequence-based abstract interpretation of Prolog
-
- Published online by Cambridge University Press:
- 18 December 2001, pp. 25-84
-
- Article
- Export citation
An effective fixpoint semantics for linear logic programs
-
- Published online by Cambridge University Press:
- 18 December 2001, pp. 85-122
-
- Article
- Export citation
Chain programs for writing deterministic metainterpreters
-
- Published online by Cambridge University Press:
- 25 March 2002, pp. 203-232
-
- Article
- Export citation
Logic program specialisation through partial deduction: Control issues
-
- Published online by Cambridge University Press:
- 26 July 2002, pp. 461-515
-
- Article
- Export citation
CLAIRE: combining sets, search and rules to better express algorithms
-
- Published online by Cambridge University Press:
- 13 November 2002, pp. 769-805
-
- Article
- Export citation
A logic-based approach to data integration
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 323-368
-
- Article
- Export citation
Book review
Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer-Verlag, 2001. Paperback: ISBN 1-85233-319-7, £24.50 / $ 39.00, xiv + 304 pages.
-
- Published online by Cambridge University Press:
- 18 December 2001, pp. 123-124
-
- Article
- Export citation
Research Article
A backward analysis for constraint logic programs
-
- Published online by Cambridge University Press:
- 26 July 2002, pp. 517-547
-
- Article
- Export citation
Decomposing non-redundant sharing by complementation
-
- Published online by Cambridge University Press:
- 25 March 2002, pp. 233-261
-
- Article
- Export citation
Classes of terminating logic programs
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 369-418
-
- Article
- Export citation
Book review
Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages
-
- Published online by Cambridge University Press:
- 23 April 2002, pp. 419-421
-
- Article
- Export citation