The Collection of
Computer Science Bibliographies

Bibliography on Validation and Verification of Knowledge-Based Systems

Number of references:	165	Last update:	August 26, 1997
Number of online publications:	4	Supported:	no
Most recent reference:	August 1995

Authors:: Andreas Gartus
Hermann Kaindl <kaih @ oop . geu . siemens . co . at> (email mangled to prevent spamming)
Stefan Kramer

Siemens Austria, PSE
Keywords:: KBS, knowledge based systems, knowledge base, testing, validation, verification
Author Comments:: Please make an acknowledgment if you are using this bibliography in papers, reports, etc.
Comments and contributions to this bibliography are most welcome, and should be mailed to Hermann Kaindl (kaih@oop.geu.siemens.co.at) with the Subject containing the string "V&V KBS BIB"). If you want to have entries included, please send them in BibTeX format, so that they can be included without further editing.
Disclaimer: Although we plan to update this bibliography at least for a while, we do not give any guarantees about how often we will publish an update, or how long we will make updates at all.

Original source:

ftp://swi.psy.uva.nl... (Format: bibtex)
Other sites:

ftp://swi.psy.uva.nl... (Format: html)
ftp://swi.psy.uva.nl...

Types:: inproceedings(98), article(41), techreport(14), misc(6), incollection(3), book(2), mastersthesis(1)
Fields:: title(165), year(165), author(160), address(105), booktitle(101), month(92), pages(86), journal(41), volume(34), number(29), editor(25), publisher(20), institution(12), organization(10), type(9), note(7), howpublished(4), key(3), school(1)
Distribution of publication dates: