%0 Conference Paper %1 conf/kr/BaralZ02 %A Baral, Chitta %A Zhang, Yan %B KR %D 2002 %E Fensel, Dieter %E Giunchiglia, Fausto %E McGuinness, Deborah L. %E Williams, Mary-Anne %I Morgan Kaufmann %K dblp %P 82-96 %T The Complexity of Model Checking for Knowledge Update. %U http://dblp.uni-trier.de/db/conf/kr/kr2002.html#BaralZ02 %@ 1-55860-554-1

@inproceedings{conf/kr/BaralZ02, added-at = {2003-07-22T00:00:00.000+0200}, author = {Baral, Chitta and Zhang, Yan}, biburl = {https://www.bibsonomy.org/bibtex/2ddd63debead38ef7a71d15cbba4a5bb7/dblp}, booktitle = {KR}, crossref = {conf/kr/2002}, date = {2003-07-22}, description = {dblp}, editor = {Fensel, Dieter and Giunchiglia, Fausto and McGuinness, Deborah L. and Williams, Mary-Anne}, interhash = {cfb84f13cc0b375e77b8df62f4106f54}, intrahash = {ddd63debead38ef7a71d15cbba4a5bb7}, isbn = {1-55860-554-1}, keywords = {dblp}, pages = {82-96}, publisher = {Morgan Kaufmann}, timestamp = {2003-07-22T00:00:00.000+0200}, title = {The Complexity of Model Checking for Knowledge Update.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2002.html#BaralZ02}, year = 2002 }