The Complexity of Iterated Belief Revision.

@inproceedings{DBLP:conf/icdt/Liberatore97,
  author    = {Paolo Liberatore},
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {The Complexity of Iterated Belief Revision},
  booktitle = {Database Theory - ICDT '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  year      = {1997},
  isbn      = {3-540-62222-5},
  pages     = {276-290},
  ee        = {db/conf/icdt/Liberatore97.html},
  crossref  = {DBLP:conf/icdt/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[AGM85]

...

[Bou93]

Craig Boutilier: Revision Sequences and Nested Conditionals. IJCAI 1993: 519-525 BibTeX

[CLDS95]

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. PODS 1995: 151-162 BibTeX

[Dal88]

Mukesh Dalal: Investigations into a Theory of Knowledge Base Revision. AAAI 1988: 475-479 BibTeX

[EG92]

Thomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Artif. Intell. 57(2-3): 227-270(1992) BibTeX

[EG93]

Thomas Eiter, Georg Gottlob: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. IJCAI 1993: 526-533 BibTeX

[FH94]

Nir Friedman, Joseph Y. Halpern: A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. KR 1994: 190-201 BibTeX

[GM95]

Gösta Grahne, Alberto O. Mendelzon: Updates and Subjunctive Queries. Inf. Comput. 116(2): 241-252(1995) BibTeX

[Joh90]

David S. Johnson: A Catalog of Complexity Classes. Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) 1990: 67-161 BibTeX

[KM91]

Hirofumi Katsuno, Alberto O. Mendelzon: Propositional Knowledge Base Revision and Minimal Change. Artif. Intell. 52(3): 263-294(1992) BibTeX

[Kre88]

Mark W. Krentel: The Complexity of Optimization Problems. J. Comput. Syst. Sci. 36(3): 490-509(1988) BibTeX

[Leh95]

Daniel J. Lehmann: Belief Revision, Revised. IJCAI 1995: 1534-1540 BibTeX

[LS95]

Paolo Liberatore, Marco Schaerf: Relating Belief Revision and Circumscription. IJCAI 1995: 1557-1566 BibTeX

[LS96]

Paolo Liberatore, Marco Schaerf: The Complexity of Model Checking for Belief Revision and Update. AAAI/IAAI, Vol. 1 1996: 556-561 BibTeX

[Neb91]

Bernhard Nebel: Belief Revision and Default Reasoning: Syntax-Based Approaches. KR 1991: 417-428 BibTeX

[Neb94]

...

[Wil94]

Mary-Anne Williams: Transmutations of Knowledge Systems. KR 1994: 619-629 BibTeX