Verification and validation of knowledge-based systems

B.J. Wielinga, J.M. Akkermans, Guus Schreiber

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93)
Place of Publication	Madrid, Spain
Pages	29-50
Publication status	Published - 1 Jun 1993

Keywords

@inproceedings{43bf47ca345742b198e82129ab08a4bb,

title = "Verification and validation of knowledge-based systems",

keywords = "METIS-119965",

author = "B.J. Wielinga and J.M. Akkermans and Guus Schreiber",

year = "1993",

month = jun,

day = "1",

language = "Undefined",

isbn = "84-604-5817-2",

pages = "29--50",

booktitle = "Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93)",

}

TY - GEN

T1 - Verification and validation of knowledge-based systems

AU - Wielinga, B.J.

AU - Akkermans, J.M.

AU - Schreiber, Guus

PY - 1993/6/1

Y1 - 1993/6/1

KW - METIS-119965

M3 - Conference contribution

SN - 84-604-5817-2

SP - 29

EP - 50

BT - Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93)

CY - Madrid, Spain

ER -