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.
@inproceedings{BaralZ02,
title = {The Complexity of Model Checking for Knowledge Update},
author = {Chitta Baral and Yan Zhang},
year = {2002},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BaralZ02},
cites = {0},
citedby = {0},
pages = {82-96},
booktitle = {Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002},
editor = {Dieter Fensel and Fausto Giunchiglia and Deborah L. McGuinness and Mary-Anne Williams},
publisher = {Morgan Kaufmann},
isbn = {1-55860-554-1},
}