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

Cached

Download Links

by Frank Van Harmelen , John Balder
Citations:35 - 9 self

Documents Related by Co-Citation

149 KADS: A modelling approach to knowledge engineering – B Wielinga, G Schreiber, J Breuker - 1992
79 A Comparison of Languages which Operationalise and Formalise KADS Models of Expertise – Dieter Fensel, Frank van Harmelen - 1994
35 ML) 2 : a formal language for KADS models of expertise – F van Harmelen, J R Balder - 1992
719 Reflections on the Knowledge Level – A Newell - 1993
75 The Knowledge Acquisition and Representation Language KARL – Dieter Fensel, Jürgen Angele, Rudi Studer Abstract - 1995
30 Formal Methods in Knowledge Engineering – Manfred Aben - 1995
11 First-order logic foundation of the KADS conceptual model – T Wetter - 1990
97 An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions – Dan Craigen, Dan Craigen, Ora Canada, Ora Canada, Susan Gerhart, Susan Gerhart, Ted Ralston, Ronald H. Brown - 1993
65 Automatic Knowledge Acquisition for Expert Systems – S Marcus, editor - 1988
2218 A translation approach to portable ontology specifications – Thomas R. Gruber - 1993
825 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
51 Models of expertise – B J Wielinga, J A Breuker - 1986
10 Operationalizing models of expertise – G Schreiber, B Wielinga, J Breuker - 1993
13 Treur: A Compositional Architecture for Simple Design Formally Specified in DESIRE – I van Langevelde, A Philipsen, J - 1993
156 Components of expertise – L Steels
13 editors. Formal Specification of Complex Reasoning Systems – J Treur, Th Wetter - 1993
7 Structure preserving specification languages for knowledge-based systems – F van Harmelen, M Aben - 1996
12 TASK MODEL: a framework for the design of Models of Expertise and their operationalization – Christine Pierret-golbreich - 1994
17 Formally specifying reusable knowledge model components – Manfred Aben - 1993