The Complexity of Model Checking for Knowledge Update.

Chitta Baral, Yan Zhang

Browse the full KR paper archive.