The Seventh Workshop on the Validation and Verification of Knowledge-Based Systems

Robert Plant

Abstract


The annual Workshop on the Validation and Verification of Knowledge-Based Systems is the leading forum for presenting research on the validation and verification of knowledge-based systems (KBSs). The 1994 workshop was significant in that there was a definitive move in the philosophical position of the workshop from a testing- and tool-based approach to KBS evaluation to that of a formal specification-based approach. This workshop included 12 full papers and 5 short papers and was attended by 35 researchers from government, industry, and academia.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v16i3.1151

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.