A modularization approach to the verification of knowledge based systems


Vanthienen, J., Mues, C., Aerts, A. and Wets, G. (1995) A modularization approach to the verification of knowledge based systems At 14th International Joint Conference on Artificial Intelligence (IJCAI'95) - Workshop on Validation & Verification of Knowledge Based Systems.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates:
Related URLs:
Subjects:
ePrint ID: 36413
Date :
Date Event
1995Published
Date Deposited: 02 May 2007
Last Modified: 16 Apr 2017 22:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/36413

Actions (login required)

View Item View Item