Belief Revision and Update: Complexity of Model Checking

Paolo Liberatore, Marco Schaerf. Belief Revision and Update: Complexity of Model Checking. J. Comput. Syst. Sci., 62(1):43-72, 2001.

Possibly Related Publications

The following publications are possibly variants of this publication: