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. In, 14th International Joint Conference on Artificial Intelligence (IJCAI'95) - Workshop on Validation & Verification of Knowledge Based Systems, Montreal, Canada, 20 - 25 Aug 1995.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Paper)
Related URLs:
Subjects: H Social Sciences > HD Industries. Land use. Labor > HD28 Management. Industrial Management
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: University Structure - Pre August 2011 > School of Management
ePrint ID: 36413
Date Deposited: 02 May 2007
Last Modified: 27 Mar 2014 18:23
URI: http://eprints.soton.ac.uk/id/eprint/36413

Actions (login required)

View Item View Item