Using KIV to specify and verify architectures of knowledge-based systems

Proceedings of the IEEE International Automated Software Engineering Conference, ASE

Volumn , Issue , 1997, Pages 71-80

  Fensel, Dieter ^a   Schoenegge, Arno ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; INTERACTIVE COMPUTER SYSTEMS; THEOREM PROVING;

INTERACTIVE THEOREM PROVER; KARLSRUHE INTERACTIVE VERIFIER (KIV) SYSTEMS;

KNOWLEDGE BASED SYSTEMS;

EID: 0031382854     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)