|
142
|
KADS: a modeling approach to knowledge engineering
– B J Wielinga, T Schreiber, J A Breuker
- 1992
|
|
75
|
A Comparison of Languages which Operationalise and Formalise KADS Models of Expertise
– Dieter Fensel, Frank van Harmelen
- 1994
|
|
647
|
The knowledge level
– A Newell
- 1982
|
|
74
|
The Knowledge Acquisition and Representation Language KARL
– Dieter Fensel, Jürgen Angele, Rudi Studer Abstract
- 1995
|
|
32
|
ML) 2 : a formal language for KADS models of expertise
– F van Harmelen, J Balder
- 1992
|
|
30
|
Formal Methods in Knowledge Engineering
– M Aben
- 1995
|
|
11
|
First-order logic foundation of the KADS conceptual model
– T Wetter
- 1990
|
|
95
|
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
|
|
1895
|
A translation approach to portable ontology specifications
– Thomas R. Gruber
- 1993
|
|
61
|
Automatic Knowledge Acquisition for Expert Systems
– S Marcus
- 1988
|
|
743
|
Dynamic Logic
– David Harel, Dexter Kozen, Jerzy Tiuryn
- 1984
|
|
49
|
Models of Expertise
– J Breuker, B Wielinga
- 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
|
|
151
|
Components of expertise
– L Steels
- 1990
|
|
13
|
editors. Formal Specification of Complex Reasoning Systems
– J Treur, Th Wetter
- 1993
|
|
5
|
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
|
