(ML)2: A formal language for KADS models of expertise

Knowledge Acquisition

Volumn 4, Issue 1, 1992, Pages 127-161

  van Harmelen, Frank ^a   Balder, John ^b  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b ENERGY RESEARCH CENTRE OF THE NETHERLANDS ECN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44049124439     PISSN: 10428143     EISSN: None     Source Type: Journal    
DOI: 10.1016/1042-8143(92)90017-U     Document Type: Article

References (45)

1. A formalisation of knowledge-level models for knowledge acquisition
2. Sisyphus—no problem with KARL
3. TheME: a Theory Manipulation Environment for creating Formal Knowledge Models
4. Module algebra
5. An overview of the KL-ONE knowledge representation system
6. Garp: A unified approach to qualitative reasoning
7. Hierarchies through basic meta-level operators
8. Towards a functional architecture for intelligence based on generic information processing tasks
9. On the solution of Schubert's steamroller in many sorted logic
10. MOLE: A knowledge-acquisition tool for cover-and-differentiate systems
11. Transfinite Recursive Progressions of Axiomatic Theories
12. Knowledge representation and acquisition language (KARL)
13. Reflection in constructive and non-constructive automated reasoning
14. Dynamic logic
15. In defence of logic
16. Model-based approaches: one label—one idea?
17. Model-K: Prototyping at the knowledge level
18. Logic for Problem Solving
19. Preliminary steps towards a taxonomy of problem-solving methods
20. The role of logic in knowledge representation and common-sense reasoning
21. Automated Generation of Model-Based Knowledge-Acquisition Tools
22. A Conceptual Modelling Framework for Knowledge-Level Reflection
23. Structured theories in LCF
24. Computational Aspects of an Order-Sorted Logic with Term Declarations
25. Differentiating Problem Solving Methods
26. Reflection and semantics in Lisp
27. Der Wahrheitsbegriff in den formalisierten Sprachen
28. 2
29. On the use of reflection principles in modelling complex reasoning
30. Research Notes in AI
31. Formal Specifications of Knowledge Models
32. 2: A formal language for KADS conceptual models
33. A mechanical solution of Schubert's steamroller by many-sorted resolution
34. A Many-Sorted Calculus Based on Resolution and Paramodulation
35. First-order logic foundation of the KADS conceptual model
36. Prolegomena to a theory of mechanized formal reasoning
37. KADS: A Modelling Approach to Knowledge Engineering