Global Verification of Knowledge Based Systems via Local Verification of Partitions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mysore Ramaswamy, Sumit Sarkar. Global Verification of Knowledge Based Systems via Local Verification of Partitions. In Jan Vanthienen, Frank van Harmelen, editors, Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium. pages 145-154, Katholieke Universiteit Leuven, Belgium, 1997.

This author has not been identified. Look up 'Mysore Ramaswamy' in GoogleThis author has not been identified. Look up 'Sumit Sarkar' in Google

runs on WebDSL