|
Bowen K, 1986. “Meta-level techniques in logic programming”, in: Proceedings of the International Conference on Artificial Intelligence and its Applications,Singapore.
Google Scholar
|
|
Clayton B, 1985. “ART: Programming primer”, Inference Corporation, Los Angeles.
Google Scholar
|
|
Davis R, 1982. In: Knowledge-Based Systems in Artificial Intelligence, Davis R and Lenat D, McGraw-Hill, New York.
Google Scholar
|
|
Friedman D and Wand M, 1984. “Reification: Reflection without meta-physics”, Communications of the ACM 8.
Google Scholar
|
|
Genesereth M, 1988. “Prescriptive introspection”, in: Meta-Level Architectures and Reflection, Maes P and Nardi D (eds.), North-Holland Publishers, Amsterdam.
Google Scholar
|
|
Hayes P, 1974. “The Language GOLUX”, University of Essex Report, Essex, United Kingdom.
Google Scholar
|
|
IntelliCorp TM, 1985. “KEE TM. Software development System. User's manual”, SEE Version 2.0, (Symbolics, LMI, Explorer), IntelliCorp.
Google Scholar
|
|
Laird J, Rosenbloom P and Newell A, 1986. “Chunking in SOAR: The anatomy of a general learning mechanism”, in: Machine Intelligence 1(1), Kluwer Academic Publishers.
Google Scholar
|
|
Macs P, 1987a. “Computational reflection”, PhD thesis. T.R. 87–2, Laboratory for Artificial Intelligence, Vrije Universiteit Brussel, Brussels, Belgium.
Google Scholar
|
|
Maes P, 1987b. “Concepts and experiments in computational reflection”, in: OOPSLA-87 Proceedings, Florida.
Google Scholar
|
|
Maes P and Nardi D (Eds.), 1988. “Meta-level architectures and reflection”, North-Holland Publishers, Amsterdam.
Google Scholar
|
|
Minsky M, 1974. “A framework for representing knowledge”, AI-MEMO 306, Massachusetts Institute of Technology, Artificial Intelligence Laboratory, Cambridge, Massachusetts.
Google Scholar
|
|
Roberts and Goldstein , 1977. “The FRL Primer”, AI-MEMO 408, Massachusetts Institute of Technology, Artificial Intelligence Laboratory, Cambridge, Massachusetts.
Google Scholar
|
|
Smith B C, 1982. “Reflection and semantics in a procedural language”, Technical Report 272, Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, Massachusetts.
Google Scholar
|
|
Smith B C, 1986. “Varieties of self-reference”, in: Theoretical Aspects of Reasoning about Knowledge. Proceedings of the 1986 Conference. Halpern J. (Ed.), Morgan Kaufmann.
Google Scholar
|
|
Steels L, 1985. Lecture Notes on AI, Internal report, AI-LAB, VUB, Brussels.
Google Scholar
|
|
Steels L, 1987. “The deepening of expert Systems”, AI-communication 0 (1), North-Holland, Amsterdam.
Google Scholar
|
|
Sussman G, 1982. “Implementing LISP”, in: Functional Programming and its Applications, an Advanced Course, Darlington J, Henderson P and Turner D A (Eds.), Cambridge Universiry Press, London.
Google Scholar
|
|
Van Melle W, 1980. “System aids in constructing consultation programs”, UMI Research Press, Ann Harbor, Michigan.
Google Scholar
|
|
Weinreb D and Moon D, 1981. “LISP machine manual”, Symbolics Inc, Cambridge, Massachusetts.
Google Scholar
|
|
Weyhrauch R, 1980. “Prolegomena to a theory of mechanized formal reasoning”, Artificial Intelligence 13 (1),(2). Amsterdam, North-Holland, The Netherlands.
Google Scholar
|
