The complexity of iterated belief revision

Proceedings of the Sixth International Conference on Database Theory (ICDT'97)

In this paper we analyze the complexity of revising a knowledge base when an iteration of this process is necessary. The analysis concerns both the classical problems of belief revision (inference, model checking, computation of the new base) and new issues, related to the problem of committing the changes.

 @inproceedings{libe-97,
 title = {The complexity of iterated belief revision},
 year = {1997},
 author = {Liberatore, Paolo},
 booktitle = {Proceedings of the Sixth International Conference on Database Theory
 (ICDT'97)},
 pages = {276-290},
 }