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

AI Magazine 

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 toolbased 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. The workshop is the leading forum for presenting research on the validation and verification of knowledge-based systems (KBSs). It has influenced the evolution of the discipline from its origins in 1988; at this time, researchers were asking the questions, How can we evaluate the correctness of KBS? How is this process different from conventional system evolution?

Similar Docs  Excel Report  more

TitleSimilaritySource
None found