Dieter__Fensel
A comparison of languages which operationalize and formalize KADS models of expertise
A Comparison of Two Approaches to Model-Based Knowledge Acqusition
A Formal Semantics for Specifying the Dynamic Reasoning of Knowledge-based Systems
Assumptions in model-based diagnosis
OIL in a nutshell
On2broker: Semantic-based access to information sources at the www
Ontobroker: or how to enable intelligent access to the WWW
On-to-knowledge: Ontology-based tools for knowledge management
Ontology Groups: Semantically Enriched Subnets of the WWW
Specifying and Verifying Knowledge-Based Systems with KIV
Specifying Knowledge-Based Systems with Reusable Components
Structured Development of Problem Solving Methods
The Essence of Problem-Solving Methods: Making Assumptions to Gain Efficiency
The mincer metaphor: a new view on problem-solving methods for knowledge-based systems
The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods
The Unified Problem-solving Method Development Language UPML
UPML: A Framework For Knowledge System Reuse