Bibliography

1

J. Alferes, C. Damasio, and L. Pereira.
A logic programming system for non-monotonic reasoning.
Journal of Automated Reasoning, 1995.

2

J. Alferes and L. M. Pereira.
Reasoning with Logic Programming, volume 1111.
Springer-Verlag LNAI, 1996.

3

A. Bonner and M. Kifer.
An overview of transaction logic.
Theoretical Computer Science, 133:205-265, October 1994.

4

A. Bonner and M. Kifer.
A logic for programming database transactions.
In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 5, pages 117-166. Kluwer Academic Publishers, March 1998.

5

P. Brisset, et al.
ECLⁱPS^e 4.0 User Manual.
IC-Parc at Imperial College, London, July 1998.

6

F. Bueno, D. Cabenza, M. Carro, M. Hermenegildo, P. López-García, and G. Puebla.
The ciao prolog system, reference manual.
Technical report, School of Computer Science, Technical University of Madrid.
Available from http://www.clip.dia.fi.upm.es/.

7

W. Chen, M. Kifer, and D. Warren.
HiLog: A foundation for higher-order logic programming.
Journal of Logic Programming, 15(3):187-230, February 1993.

8

C. Draxler.
Prolog to SQL compiler, Version 1.0.
Technical report, CIS Centre for Information and Speech Processing Ludwig-Maximilians-University, Munich, 1992.

9

H. Guo, C. R. Ramakrishnan, and I. V. Ramakrishnan.
Speculative beats conservative justification.
In International Conference on Logic Programming, volume 2237 of Lecture Notes in Computer Science, pages 150-165. Springer, 2001.

10

C. Holzbaur.
Ofai clp(q,r) manual, edition 1.3.3.
Technical report, Austrian Research Institute for Artificial Intelligence, 1995.

11

M. Kifer, G. Lausen, and J. Wu.
Logical foundations of object-oriented and frame-based languages.
Journal of the ACM, 42:741-843, July 1995.

12

M. Kifer and V. S. Subrahmanian.
Theory of generalized annotated logic programming and its applications.
J. Logic Programming, 12(4):335-368, 1992.

13

T. I. S. Laboratory.
SICStus Prolog User's Manual Version 3.7.1.
Swedish Institute of Computer Science, Oct. 1998.

14

I. Niemelä and P. Simons.
Smodels: An implementation of the stable model and well-founded semantics for normal LP.
In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning, volume 1265 of LNAI, pages 420-429, Berlin, July 28-31 1997. Springer.

15

T. Swift.
Tabling for non-monotonic programming.
Annals of Mathematics and Artificial Intelligence, 25(3-4):201-240, 1999.