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 |
| Item ID: | 36413 |
| Date Deposited: | 02 May 2007 |
| Last Modified: | 02 Mar 2012 12:48 |
| Contributors: | Vanthienen, J. (Author) Mues, C. (Author) Aerts, A. (Author) Wets, G. (Author) |
| Date: | 1995 |
| Status: | Published |
| URI: | http://eprints.soton.ac.uk/id/eprint/36413 |
Actions (login required)
 |
View Item |
