A Formal Study of Forward Reasoning Consistency on KBSs.

Luis M. Laita Luis de Ledesma Aurora Pérez Betty Ramírez

Published in: EUROVAV (1993)

Keyphrases

empirical studies
statistical analysis
consistency checking
genetic algorithm
search engine
decision making
case study
formal analysis