A Formal Study of Consistency of KBSs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luis M. Laita, Julia Couto, Luis de Ledesma. A Formal Study of Consistency of KBSs. In Matthew Grisoni, editor, Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991. pages 31-38, Logica Ltd., Cambridge, UK, 1991.

This author has not been identified. Look up 'Luis M. Laita' in GoogleThis author has not been identified. Look up 'Julia Couto' in GoogleThis author has not been identified. Look up 'Luis de Ledesma' in Google

runs on WebDSL