External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Complexity of Model Checking for Knowledge Update

Chitta Baral, Yan Zhang. The Complexity of Model Checking for Knowledge Update. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams, editors, Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. pages 82-96, Morgan Kaufmann, 2002.

Authors

Chitta Baral

This author has not been identified. Look up 'Chitta Baral' in Google

Yan Zhang

This author has not been identified. Look up 'Yan Zhang' in Google
runs on