Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events

Authors

  • Grigoris Antoniou
  • Frank van Harmelen
  • Robert Plant
  • Jan Vanthienen

DOI:

https://doi.org/10.1609/aimag.v19i3.1400

Abstract

This article gives an overview of two recent events on the validation and verification of knowledge-based systems: (1) the 1997 European Symposium on the Verification and Validation of Knowledge-Based Systems (EUROVAV-97) and (2) the Four-teenth National Conference on Artificial Intelligence Workshop on the Verification and Validation of Knowledge- Based Systems. To give an integrated view of current research issues in this field, we organized this article along thematic lines, unifying the reports of the two separate meetings. Our report focuses on the trends that we think will be important in the near future in this field.

Downloads

Published

1998-09-15

How to Cite

Antoniou, G., van Harmelen, F., Plant, R., & Vanthienen, J. (1998). Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. AI Magazine, 19(3), 123. https://doi.org/10.1609/aimag.v19i3.1400

Issue

Section

Workshop Reports