Merging test and verification for rule base debugging

Proceedings of the International Conference on Tools with Artificial Intelligence

Volumn , Issue , 1996, Pages 166-169

  Bouali, F ^a   Loiseau, S ^a   Rousset, M C ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; PROGRAM DEBUGGING;

RULE BASE DEBUGGING;

KNOWLEDGE BASED SYSTEMS;

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

References (12)