July 10, 2012
Author(s)
Edward J. Barkmeyer Jr., Andreas K. Mattas
Verifying correctness of stated facts, rules, and term definitions for an industrial domain of work requires the contributions of experts in the domain. Conversely, use of automated reasoning technologies to assist in making industry decisions and