Concepts and experiments in computational reflection

Conference Proceedings on Object Oriented Programming Systems Languages and Applications, OOPSLA 1987

Volumn 1987-January, Issue , 1987, Pages 147-155

  Maes, Pattie ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; COMPUTATION THEORY; COMPUTER SYSTEMS PROGRAMMING;

COMPUTATIONAL REFLECTION; PROGRAMMING PROBLEM; PROGRAMMING STYLES; RULE-BASED LANGUAGE;

OBJECT ORIENTED PROGRAMMING;

EID: 85027181850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/38765.38821     Document Type: Conference Paper

References (24)

1. Bobrow D. and Stefik M. (1981) "The LOOPS manual". Tech. Rep. KB-VLSI 81-13. Knowledge Systems Area. Xerox Palo Alto Research Center. Palo Alto, California.
2. Borning A. and O'Shea T. (1987) "Deltatalk: An Empirically and Aesthetically Motivated Simplification of the Smalltak-80 Language". In: Proceedings of the ECOOP Conference. Paris, France.
3. Bowen K. (1986) "Meta-level Techniques in Logic Programming". In: Proceedings of the International Conference on Artificial Intelligence and its Applications. Singapore.
4. Briot J. P. and Cointe P. (1986) "The OBJVLISP Model: Definition of a Uniform Reflexive and Extensible Object-Oriented Language". In: Proceedings of the European Conference on Artificial Intelligence - 1986.
5. Dahl O. and Nygaard K. (1966) "SIMULA - An Algol-Based Simulation-Language". Communications of the ACM. 9: 671-678.
6. Davis R. (1982) In: "Knowledge-Based Systems in Artificial Intelligence". Davis R. and Lenat D. Mc Graw-Hill, New York.
7. Friedman D. and Wand M. (1984) "Reification: Reflection without metaphysics". Communications of the ACM. Vol 8.
8. Genesereth M. (1987) "Prescriptive Introspection". In: Meta-Level Architectures and Reflection. Eds: P. Maes and D. Nardi. North Holland, Amsterdam, June 1987.
9. Goldberg A. and Kay A. (1976) "SMALLTALK-72 Instruction Manual". Technical Report SSL-76-6, Xerox Palo Alto Research Center. Palo Alto, California.
10. Goldberg A. and Robson D. (1983) "Smalltalk 80: The Language and its Implementation". Addison-Wesley. Reading, Massachusetts.
11. Greiner R. (1980) "RLL-1: A Representation Language Language". Stanford Heuristic Programming Project. HPP-80-9. Stanford, California.
12. Hayes P. (1974) "The Language GOLUX". University of Essex Report. Essex, United Kingdom.
13. Laird J., Rosenbloom P. and Newell A. (1986) "Chunking in SOAR: The Anatomy of a General Learning Mechanism". In: Machine Intelligence. Vol I. Nr I. Kluwer Academic Publishers.
14. Lieberman H. (1981) "A Preview of ACT1". Massachusetts Institute of Technology, Artificial Intelligence Laboratory. MIT AI-MEMO 625. Cambridge, Massachusetts.
15. Maes P. (1987) "Computational Reflection". PhD. Thesis. Laboratory for Artificial Intelligence, Vrije Universiteit Brüssel. Brussels, Belgium. January 1987.
16. Minsky M. (1974) "A Framework for Representing Knowledge". Massachusetts Institute of Technology, Artificial Intelligence Laboratory. MIT AI-MEMO 306. Cambridge, Massachusetts.
17. Roberts R. and Goldstein I. (1977) "The FRL Primer". Massachusetts Institute of Technology, Artificial Intelligence Laboratory. MIT AI-MEMO 408. Cambridge, Massachusetts.
18. Smith B. (1982) "Reflection and Semantics in a Procedural Language". Massachusetts Institute of Technology. Laboratory for Computer Science. Technical Report 272. Cambridge, Massachusetts.
19. Smith B. and Hewitt C. (1975) "A PLASMA Primer (draft) ". Massachusetts Institute of Technology. Artificial Intelligence Laboratory. Cambridge, Massachusetts.
20. Steels L. (1986) "The KRS Concept System". Vrije Universiteit Brüssel. Artificial Intelligence Laboratory. Technical Report 86-1. Brussels, Belgium.
21. Stefik M. and Bobrow D. (1986) "Object-Oriented Programming: Themes and Variations". In: AI magazine. Vol. 6. No. 4.
22. Van Marcke K. (1986) "A Parallel Algorithm for Consistency Maintenance in Knowledge Representation". In: Proceedings of the European Conference on Artificial Intelligence, 1986. Brighton, England.
23. Weinreb D. and Moon D. (1981) "Lisp Machine Manual". Symbolics Inc. Cambridge, Massachusetts.
24. Weyhrauch R. (1980) "Prolegomena to a Theory of Mechanized Formal Reasoning". In: Artificial Intelligence Vol. 13 No. 1, 2. North Holland. Amsterdam. The Netherlands.