Verification and validation of knowledge-based systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93)
    Place of PublicationMadrid, Spain
    Pages29-50
    Publication statusPublished - 1 Jun 1993

    Keywords

    • METIS-119965

    Cite this

    Wielinga, B. J., Akkermans, J. M., & Schreiber, G. (1993). Verification and validation of knowledge-based systems. In Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93) (pp. 29-50). Madrid, Spain.
    Wielinga, B.J. ; Akkermans, J.M. ; Schreiber, Guus. / Verification and validation of knowledge-based systems. Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93). Madrid, Spain, 1993. pp. 29-50
    @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 = "6",
    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)",

    }

    Wielinga, BJ, Akkermans, JM & Schreiber, G 1993, Verification and validation of knowledge-based systems. in Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93). Madrid, Spain, pp. 29-50.

    Verification and validation of knowledge-based systems. / Wielinga, B.J.; Akkermans, J.M.; Schreiber, Guus.

    Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93). Madrid, Spain, 1993. p. 29-50.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    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 -

    Wielinga BJ, Akkermans JM, Schreiber G. Verification and validation of knowledge-based systems. In Proc. European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV'93). Madrid, Spain. 1993. p. 29-50