(ML)2: A formal language for KADS models of expertise
- 31 March 1992
- journal article
- Published by Elsevier in Knowledge Acquisition
- Vol. 4 (1) , 127-161
- https://doi.org/10.1016/1042-8143(92)90017-u
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- (ML)2: A formal language for KADS models of expertiseKnowledge Acquisition, 1992
- KADS: a modelling approach to knowledge engineeringKnowledge Acquisition, 1992
- On the use of reflection principles in modelling complex reasoningInternational Journal of Intelligent Systems, 1991
- A Conceptual Modelling Framework for Knowledge-level ReflectionAI Communications, 1991
- Module algebraJournal of the ACM, 1990
- An Overview of the KL‐ONE Knowledge Representation System*Cognitive Science, 1985
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980
- Transfinite recursive progressions of axiomatic theoriesThe Journal of Symbolic Logic, 1962