The complexity of iterated belief revision

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1186, Issue , 1997, Pages 276-290

  Liberatore, Paolo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS;

BELIEF REVISION; CLASSICAL PROBLEMS; KNOWLEDGE BASE;

MODEL CHECKING;

EID: 84948987058     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62222-5_51     Document Type: Conference Paper

References (17)

1. [AGM85] C. E. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic, 50:510-530, 1985.
2. [Bou93] Boutilier. Revision sequences and nested conditionals. In Proc. of IJCAI-93, pages 519-525, 1993.
3. [CDLS95] M. Cadoli, F. M. Donini, P. Liberatore, and M. Schaerf. The size of a revised knowledge base. In Proc. of PODS-95, pages 151-162, 1995.
4. [Dal88] M. Dalai. Investigations into a theory of knowledge base revision: Preliminary report. In Proc. of AAAI-88, pages 475-479, 1988.
5. [EG92] T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates and counterfactuals. AIJ, 57:227-270, 1992.
6. [EG93] T. Eiter and G. Gottlob. The complexity of nested counterfactuals and iterated knowledge base revisions. In Proc. of IJCAI-93, pages 526-531, 1993.
7. [FH94] N. Friedman and J. Y. Halpern. A knowledge-based framework for belief change: Part II: Revision and update. In Proc. of KR-94, pages 190-200, 1994.
8. [GM95] G. Grahne and A. O. Mendelzon. Updates and subjunctive queries. Information and Computation, 2(116):241-252, 1995.
9. [Joh90] D. S. Johnson. A catalog of complexity classes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume A, chapter 2. Elsevier, 1990.
10. [KM91] H. Katsuno and A. O. Mendelzon. Propositional knowledge base revision and minimal change. AIJ, 52:263-294, 1991.
11. [Kre88] M. V. Krentel. The complexity of optimization problems. J. of Computer and System Sciences, 36:490-509, 1988.
12. [Leh95] D. Lehmann. Belief revision, revised. In Proc. of IJCAI-95, pages 1534-1540, 1995.
13. [LS95] P. Liberatore and M. Schaerf. Relating belief revision and circumscription. In Proc. of IJCAI-95, pages 1557-1563, 1995.
14. [LS96] P. Liberatore and M. Schaerf. The complexity of model checking for belief revision and update. In Proc. of AAAI-96, pages 556-561, 1996.
15. [Neb91] B. Nebel. Belief revision and default reasoning: Syntax-based approaches. In Proc. of KR-91, pages 417-428, 1991.
16. [Neb94] B. Nebel. Base revision operations and schemes: Semantics, representation and complexity. In Proc. of ECAI-94, pages 341-345, 1994.
17. [Wi194] M. Williams. Transmutations of knowledge systems. In Proc. of KR-94, pages 619-629, 1994.