References

1

J. Agustí, F. Esteva, P. Garcia, L. Godo, Ramón López de Mántaras, J. Puyol, C. Sierra, and L. Murgui. Structured local fuzzy logics in Milord. In Fuzzy Logic for the Management of Uncertainty, pages 523-551. John Wiley and Sons, Inc., 1992.

2

Claire Beyssade, Patrice Enjalbert, and Claire Lefèvre. Cooperating logical agents. In Michael Wooldridge, Jörg P. Müller, and Milind Tambe, editors, Intelligent Agents II, volume 1037 of Lecture Notes in Artificial Intelligence, pages 299-314. Springer-Verlag, 1996.

3

Winton Davies and Peter Edwards. The communication of inductive inferences. In Gerhard Weiß, editor, Distributed Artificial Intelligence Meets Machine Learning, volume 1221 of Lecture Notes in Artificial Intelligence, pages 223-241. Springer-Verlag, 1997.

4

Robert Demolombe. Strategies for the computation of conditional answers. In Proceedings of the Workshop on Partial Deduction, Partial Evaluation and Intelligent Reasoning, ECAI'90, pages 5-23, 1990.

5

J. Gallagher. Transforming logic programming by specialising interpreters. In Proceedings ECAI'86, pages 109-122, 1986.

6

S. Gottwald. Mehrwertige Logik. Akademie-Verlag, Berlin, 1988.

7

S. Gottwald. Fuzzy Sets and Fuzzy Logic. Vieweg, 1993.

8

P. Hájek. Metamathematics of fuzzy logic. Book in preparation.

9

P. Hájek. Fuzzy logic from the logical point of view. In M. Bartosek, J. Staudek, and J. Wiedermann, editors, SOFSEM'95: Theory and practice of informatics, volume 1012 of Lecture Notes in Computer Science, pages 31-49. Springer-Verlag, Milovy, Czech Republic, 1995.

10

S.C Kleene. Introduction to Metamathematics. Van Nostrand, 1952.

11

H. J. Komorowski. A specification of an abstract Prolog machine and its application to partial evaluation. PhD thesis, Linkoping University, 1981.

12

H. J. Komorowski. Towards a programming methodology founded on partial deduction. In Proceedings ECAI'90, pages 404-409, 1990.

13

J. W. Lloyd and J. C. Shepherson. Partial evaluation in logic programming. The Journal of Logic Programming, 11(3/4):217-242, October/November 1991.

14

J. Puyol, L. Godo, and C. Sierra. A specialisation calculus to improve expert system communication. In Proceedings ECAI'92, pages 144-148, 1992.

15

Josep Puyol-Gruart. MILORD II: A Language for Knowledge-Based Systems, volume 1 of Monografies del IIIA. IIIA-CSIC, 1996.

16

Chiachi Sakama and Hidenori Itoh. Partial evaluation of queries in deductive databases. Technical Report TR-302, ICOT, 1986.

17

Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.

18

A. Takeuchi and K. Furukawa. Partial evaluation of prolog programs and its application to meta programming. In Information Processing 86, 1986.

19

Phil Vasey. Qualified answers and their application to transformation. In G. Goos and J. Hartmanis, editors, Third International Conference in Logic Programming, LNCS 225, pages 425-432. Springer-Verlag, 1986.

20

R. Venken. A prolog meta-interpreter for partial evaluation and its application to source transformation and query-optimisation. In Proceedings ECAI'84, pages 91-100, 1984.

21

Dave Wolstenholme. Saying I don't know and conditional answers. In D.S. Moralle, editor, Research and Development in Expert Systems IV, pages 115-125. Cambridge University Press, 1987.