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:16 - 2 self

Documents Related by Co-Citation

109 Task Modeling with Reusable Problem-Solving Methods – Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen - 1995
123 Task-Structure Analysis for Knowledge Modelling – B Chandrasekaran, T Johnson, J Smith - 1992
44 der Velde (Eds.) CommonKADS library for expertise modeling: reusable problem solving components – In Breuker, J, W van - 1994
22 Formal Specification Languages in Knowledge and – D Fensel - 1995
964 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
3010 A translation approach to portable ontology specifications – Thomas R. Gruber - 1993
82 The Knowledge Acquisition and Representation Language KARL – Dieter Fensel, J├╝rgen Angele, Rudi Studer Abstract - 1995
89 CommonKADS: a comprehensive methodology for KBS development – G Schreiber, B Wielinga, R de Hoog, H Akkermans, W van de Velde - 1994
862 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995