Specialisation calculus and communication

International Journal of Approximate Reasoning

Volumn 18, Issue 1-2, 1998, Pages 107-130

  Puyol Gruart, Josep ^a   Godo, Lluís ^a   Sierra, Carles ^a  

^a UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

Author keywords

Multi agent system; Multiple valued logic; Partial deduction

Indexed keywords

EID: 0000907101     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0888-613X(97)10006-8     Document Type: Article

References (21)

1. J. Agustí, F. Esteva, P. Garcia, L. Godo, Ramón López de Mántaras, J. Puyol, C. Sierra, L. Murgui, Structured local fuzzy logics in Milord, in: Fuzzy Logic for the Management of Uncertainty, Wiley, New York, 1992, pp. 523-551.
2. Claire Beyssade, Patrice Enjalbert, Claire Lefevre, Cooperating logical agents, in: Michael Wooldridge, Jörg P. Müller, Milind Tambe (Eds.), Intelligent Agents II, vol. 1037 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 1996, pp. 299-314.
3. Winton Davies, Peter Edwards, The communication of inductive inferences, in: Gerhard Weiß (Ed.), Distributed Artificial Intelligence Meets Machine Learning, vol. 1221 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 1997, pp. 223-241.
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, 1990, pp 5-23.
5. J. Gallagher, Transforming logic programming by specialising interpreters, in: Proceedings ECAI'86, 1986, pp. 109-122.
6. S. Gottwald, Mehrwertige Logik, Akademie-Verlag, Berlin, 1988.
7. S. Gottwald, Fuzzy Sets and Fuzzy Logic, Vieweg, Braunschweig, 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. Bartošek, J. Staudek, J. Wiedermann (Eds.), SOFSEM'95: Theory and practice of informatics, vol. 1012 of Lecture Notes in Computer Science, Springer, Milovy, Czech Republic, 1995, pp. 31-49.
10. S.C. Kleene, Introduction to Metamathematics, Van Nostrand, Princeton, NJ, 1952.
11. H.J. Komorowski, A specification of an abstract Prolog machine and its application to partial evaluation, Ph.D. Thesis, Linkoping University, 1981.
12. H.J. Komorowski, Towards a programming methodology founded on partial deduction, in: Proceedings of the ECAI'90, 1990, pp. 404-409.
13. J.W. Lloyd, J.C. Shepherson, Partial evaluation in logic programming, The Journal of Logic Programming 11 (3/4) (1991) 217-242.
14. J. Puyol, L. Godo, C. Sierra, A specialisation calculus to improve expert system communication, in: Proceedings of the ECAI'92, cls1992, pp. 144-148.
15. Josep Puyol-Gruart, MILORD II: A Language for Knowledge-Based Systems, vol. 1 of Monografies del IIIA, IIIA-CSIC, 1996.
16. Chiachi Sakama, Hidenori Itoh, Partial evaluation of queries in deductive databases, Technical Report TR-302, ICOT, 1986.
17. Yoav Shoham, Agent-oriented programming, Artificial Intelligence 60 (1993) 51-92.
18. A. Takeuchi, 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, J. Hartmanis (Eds.), Third International Conference in Logic Programming, LNCS 225, Springer, Berlin, 1986, pp. 425-432.
20. R. Venken, A prolog meta-interpreter for partial evaluation and its application to source transformation and query-optimisation, in: Proceedings of the ECAI'84, 1984, pp. 91-100.
21. Dave Wolstenholme, Saying I don't know and conditional answers, in: D.S. Moralle (Ed.), Research and Development in Expert Systems IV, Cambridge University Press, Cambridge, 1987, pp. 115-125.