Structure-Preserving Specification Languages for Knowledge-Based Systems (1996)

Cached

Download Links

by Frank Van Harmelen , Manfred Aben
Venue:Journal of Human Computer Studies
Citations:15 - 2 self

Documents Related by Co-Citation

103 Task Modeling with Reusable Problem-Solving Methods – Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen - 1995
44 de Velde (eds), The CommonKADS Library for Expertise Modelling – J Breuker, W V - 1994
22 Formal Specification Languages in Knowledge and – D Fensel - 1995
112 Task Structure Analysis for Knowledge Modeling – B Chandrasekaran, T Johnson, J W Smith - 1992
75 The Knowledge Acquisition and Representation Language KARL – Dieter Fensel, J├╝rgen Angele, Rudi Studer Abstract - 1995
49 Problem-solving methods for diagnosis and their role in knowledge acquisition – V R Benjamins - 1995
79 A Comparison of Languages which Operationalise and Formalise KADS Models of Expertise – Dieter Fensel, Frank van Harmelen - 1994
825 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
78 CommonKADS: A comprehensive methodology for KBS development – A T Schreiber, B J Wielinga, R de Hoog, J M Akkermans - 1994
35 Knowledge-Based Systems Analysis and Design, Prentice-Hall – D Tansley, C Hayball - 1993
26 Parametric Design Problem Solving – Enrico Motta, Zdenek Zdrahal, Walton Hall, Mk Aa - 1996
152 Generic tasks in knowledge-based reasoning: High-level building blocks for expert systems design – B Chandrasekaran - 1986
13 The KIV Approach to Software Engineering – W Reif
24 Steps in constructing problem-solving methods – J M Akkermans, B J Wielinga - 1994
45 Systematic Introduction to Expert Systems: Knowledge Representation and Problem-Solving Methods – F Puppe - 1993
2218 A translation approach to portable ontology specifications – Thomas R. Gruber - 1993
35 Applications of abduction: Knowledge level modeling – T Menzies - 1996
37 Principles for Generalised Testing of Knowledge Bases – T Menzies - 1995
29 Maintaining an expert system – P Compton, K Horn, J Quinlan, L Lazarus - 1989