Knowledge Level Reflection

DMCA

Knowledge Level Reflection (1994)

Cached

Download Links

[arti.vub.ac.be]

Other Repositories/Bibliography

DBLP

by Aurélien Slodzian

Citations

1938	Unified theories of cognition - Newell - 1989
1042	SOAR: An architecture for general intelligence - Laird, Newell, et al. - 1987
881	The knowledge level - Newell - 1982
553	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter - Gödel - 1931
220	Reflection and Semantics in Lisp - Smith - 1984
200	Functional grammar - Kay - 1979
180	Components of Expertise. - Steels - 1990
173	Computational Reflection - Maes - 1987
76	Parsing in functional unification grammar - Kay - 1985
43	Realism and Reason - Putnam - 1983
30	Corporate knowledge management - Steels - 1993
21	Issues in knowledge level modeling - Velde - 1993
10	Reusability and Configuration of Applications by Nonprogrammers. - Steels - 1992
5	Validation, verification and Test of Knowledge Based Systems - Ayel, Laurent - 1991
4	On the terminology of VVT - Robotics, Hoppe, et al. - 1991
3	Validation of Multi-Level Rule-Based Expert Systems, Thesis, Universitat Politècnica de Catalunya - Meseguer - 1992
3	Knowledge-Level Reflection - Harmelan, Wielinga, et al. - 1992
2	Mering IV: un langage d'acteurs pour l'intelligence artificielle distribu'ee int'egrant objets et agents par r'eflexivit'e compilatoire - Carle - 1992
2	The COMMET methodology and workbench in practice - Jonckers, Geldof, et al. - 1992
2	Validation and verification of knowledge models - Wielinga, Akkermans - 1993
1	Coupling modeling and validation - Canamero, Geldof, et al. - 1993
1	Reflection in actor languages as a result of an equivalence between entities and functions - Ferber - 1988
1	Les limitations internes des formalismes. Nauwelaerts - Ladriere - 1957
1	KresT 2.5 user manual. Knowledge Technologies - Intyre, A - 1993
1	Mind, Langage and Reality - Putnam - 1989
1	Procedural encoding of declarative knowledge in the environment of the krest workbench - Tadjer - 1993
1	Logique, Semantique, Metamathematique 1923-1944 - Tarski - 1972