Open AccessSeventh Workshop on the Validation and Verification of Knowledge‐Based Systems
Author(s) -
Plant Robert
Publication year - 1995
Publication title -
ai magazine
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 79
eISSN - 2371-9621
pISSN - 0738-4602
DOI - 10.1609/aimag.v16i3.1151
Subject(s) - computer science , software engineering , verification and validation , government (linguistics) , model validation , engineering management , systems engineering , engineering , data science , operations management , philosophy , linguistics
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.