Anca I. Vermesan, Trevor J. M. Bench-Capon. Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction. Softw. Test., Verif. Reliab., 5(4):233-271, 1995.
@article{VermesanB95,
title = {Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction},
author = {Anca I. Vermesan and Trevor J. M. Bench-Capon},
year = {1995},
tags = {rule-based, survey},
researchr = {https://researchr.org/publication/VermesanB95},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {5},
number = {4},
pages = {233-271},
}