A modularization approach to the verification of knowledge based systems
A modularization approach to the verification of knowledge based systems
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
Aerts, A.
51de54da-1a30-452e-995f-610f90014be6
Wets, G.
3f33a83b-e762-4c1a-b25e-0accabe08780
1995
Vanthienen, J.
808131f1-b77b-4dee-bdda-90a94124c999
Mues, C.
07438e46-bad6-48ba-8f56-f945bc2ff934
Aerts, A.
51de54da-1a30-452e-995f-610f90014be6
Wets, G.
3f33a83b-e762-4c1a-b25e-0accabe08780
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
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.
View more statistics