Silvie Spreeuwenberg, Rik Gerrits. A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. In Anca I. Vermesan, Frans Coenen, editors, Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV 99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway. pages 67-78, Kluwer, 1999.
@inproceedings{SpreeuwenbergG99,
title = {A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base},
author = {Silvie Spreeuwenberg and Rik Gerrits},
year = {1999},
tags = {rule-based},
researchr = {https://researchr.org/publication/SpreeuwenbergG99},
cites = {0},
citedby = {0},
pages = {67-78},
booktitle = {Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV 99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway},
editor = {Anca I. Vermesan and Frans Coenen},
publisher = {Kluwer},
isbn = {0-7923-8645-0},
}