|
99
|
Task Modeling with Reusable Problem-Solving Methods
– Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen
- 1995
|
|
42
|
de Velde (eds.): The CommonKADS Library for Expertise Modeling
– J Breuker, W Van
- 1994
|
|
22
|
Formal Specification Languages in Knowledge and
– D Fensel
- 1995
|
|
109
|
Taskstructure analysis for knowledge modeling
– Balakrishnan Chandrasekaran, Todd R Johnson, Jack W Smith
- 1992
|
|
74
|
The Knowledge Acquisition and Representation Language KARL
– Dieter Fensel, Jürgen Angele, Rudi Studer Abstract
- 1995
|
|
47
|
ªProblem Solving Methods for Diagnosis and Their Role in Knowledge Acquisition,º Int'l
– V R Benjamins
- 1995
|
|
75
|
A Comparison of Languages which Operationalise and Formalise KADS Models of Expertise
– Dieter Fensel, Frank van Harmelen
- 1994
|
|
743
|
Dynamic Logic
– David Harel, Dexter Kozen, Jerzy Tiuryn
- 1984
|
|
75
|
Commonkads. a comprehensive methodology for kbs development
– A T Schreiber, B Wielinga, J M Akkermans, W V D Velde, R de Hoog
- 1994
|
|
26
|
Parametric Design Problem Solving
– Enrico Motta, Zdenek Zdrahal, Walton Hall, Mk Aa
- 1996
|
|
144
|
Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design
– B Chandrasekaran
- 1986
|
|
24
|
Schreiber: Steps in Constructing Problem-Solving Methods
– J M Akkermans, B Wielinga, A Th
- 1993
|
|
13
|
The KIV Approach to Software Engineering
– W Reif
|
|
46
|
Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods
– F Puppe
- 1993
|
|
1895
|
A translation approach to portable ontology specifications
– Thomas R. Gruber
- 1993
|
|
34
|
Knowledge-Based Systems Analysis and Design: A KADS Developer’s Handbook. Hemel Hempstead:Prentice-Hall
– D Tansley, C Hayball
- 1993
|
|
30
|
Applications of abduction: Knowledge level modeling
– T Menzies
- 1996
|
|
31
|
Principles for Generalised Testing of Knowledge Bases
– T Menzies
- 1995
|
|
27
|
Maintaining an expert system
– P Compton, R Horn, R Quinlan, L Lazarus
- 1989
|
