A Formally-Based Methodology for Deriving Verifiable Expert Systems from Specifications (1994)

by A Vermesan, T Wergeland
Venue:In Workshop Proceedings Validation and Verification of Knowledge-Based Systems, AAAI'94