Vanthienen, J., Mues, C., Aerts, A. and Wets, G. (1995) A modularization approach to the verification of knowledge based systems. 14th International Joint Conference on Artificial Intelligence (IJCAI'95) - Workshop on Validation & Verification of Knowledge Based Systems, Montreal, Canada. 19 - 24 Aug 1995.
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 1995
Venue - Dates:
14th International Joint Conference on Artificial Intelligence (IJCAI'95) - Workshop on Validation & Verification of Knowledge Based Systems, Montreal, Canada, 1995-08-19 - 1995-08-24
Related URLs:
Identifiers
Local EPrints ID: 36413
URI: http://eprints.soton.ac.uk/id/eprint/36413
PURE UUID: a80df7ee-b887-48e7-b6b5-76e1603b601c
Catalogue record
Date deposited: 02 May 2007
Last modified: 08 Apr 2022 01:38
Export record
Contributors
Author:
J. Vanthienen
Author:
A. Aerts
Author:
G. Wets
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.