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

Active Bibliography

5 Formal Methods in Knowledge Engineering – Frank Van Harmelen, Dieter Fensel - 1995
4 Making Knowledge Engineering Technology Work – Richard Benjamins, Dieter Fensel, Christine Pierret-golbreich, Enrico Motta, Rudi Studer Aifb, Bob Wielinga Swi, Marie-christine Rousset Lri - 1997
4 The Mincer Metaphor: A New View on Problem-Solving Methods For Knowledge-Based Systems? – Dieter Fensel, Remco Straatman, Frank Van Harmelen - 1995
8 Formal Specification Languages in Knowledge and Software Engineering – Dieter Fensel - 1995
1 (ML)²: A formal language for KADS models – Frank Van Harmelen, John Balder - 1992
Final report of an 11 months-HCM grant at the LRI: Knowledge Acquisition - PART-II: January 1995 - August 1995 – V.R. (Richard) Benjamins
7 Applying rule-base anomalies to KADS inference structures – Frank Van Harmelen, Ai Group - 1998
(ML)²: A formal language for KADS models (short version) – Frank Van Harmelen, John Balder - 1992
8 A KADS/(ML)² Model of a Scheduling Task – John Balder, Frank van Harmelen, Manfred Aben - 1993
13 Operationalizing Conceptual Models Based on a Model of Dependencies – Frank Maurer, Jürgen Paulokat - 1994
23 Overview of Knowledge Sharing and Reuse Components: Ontologies and Problem-Solving Methods – Asuncion Gomez Perez, V. Richard Benjamins - 1999
2 Evaluating a formal KBS specification language – Frank van Harmelen, Manfred Aben, Fidel Ruiz, Joke van de Plassche - 1996
1 The Specification Language KARL and Its Declarative Semantics – Dieter Fensel, Jürgen Angele, Rudi Studer - 1994
75 The Knowledge Acquisition and Representation Language KARL – Dieter Fensel, Jürgen Angele, Rudi Studer Abstract - 1995
PARIS–SAN DIEGO–SAN FRANCISCO–SINGAPORE–SYDNEY–TOKYOHandbook of Knowledge Representation Edited by – J. Hendler, H. Kitano, B. Nebel, Frank Van Harmelen, Vladimir Lifschitz, Bruce Porter
Knowledge Engineering – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Guus Schreiber
Knowledge Engineering – n.n.
72 Structured Development of Problem Solving Methods – Dieter Fensel, Enrico Motta - 2001
9 Pragmatics of the Knowledge Level – A. Th. (Guus) Schreiber - 1992