Evaluating a formal KBS specification language

IEEE expert

Volumn 11, Issue 1, 1996, Pages 56-62

  van Harmelen, Frank ^a   Aben, Manfred ^a   Ruiz, Fidel ^a   van de Plassche, Joke ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; MATHEMATICAL MODELS; REDUNDANCY; SYSTEMS ANALYSIS;

COMMONKADS KNOWLEDGE BASED SYSTEM; EVALUATION CRITERIA; FORMAL MODELING LANGUAGE;

KNOWLEDGE BASED SYSTEMS;

EID: 0030084718     PISSN: 08859000     EISSN: None     Source Type: Journal    
DOI: 10.1109/64.482959     Document Type: Article

References (5)

1. Formal Specification of Complex Reasoning Systems, 1993 Chichester, UK,
2. D. Fensel The Knowledge-Based Acquisition and Representation Language KARL, Dordrecht, The Netherlands.