Conceptual and formal specifications of problem-solving methods

International Journal of Expert Systems

Volumn 9, Issue 4, 1996, Pages 507-532

  Fensel, Dieter ^a   Eriksson, Henrik ^a   Musen, Mark A ^a   Studer, Rudi ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER HARDWARE DESCRIPTION LANGUAGES; KNOWLEDGE ENGINEERING; SOFTWARE ENGINEERING;

BOARD GAME METHOD; CHRONOLOGICAL BACKTRACKING; GENERAL PURPOSE PROBLEM SOLVING METHODS; KARL KNOWLEDGE SPECIFICATION LANGUAGE; PROTEGE II PROBLEM SOLVING METHODS; TASK SPECIFIC REQUIREMENT;

PROBLEM SOLVING;

EID: 0030386717     PISSN: 08949077     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (0)