The Seventh Workshop on the Validation and Verification of Knowledge-Based Systems
R Plant - AI Magazine, 1995 - ojs.aaai.org
AI Magazine, 1995•ojs.aaai.org
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 …
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 …
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.
ojs.aaai.org
Showing the best result for this search. See all results