Iterated belief revision and conditional logic

Studia Logica

Volumn 70, Issue 1, 2002, Pages 23-47

  Giordano, Laura ^a   Gliozzi, Valentina ^b   Olivetti, Nicola ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34548410156     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1014602224874     Document Type: Article

References (18)

1. C. E. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change: partial meet contraction and revision functions, Journal of Symbolic Logic, 50:510-530, 1985.
2. C. Boutilier, Revision sequences and nested conditionals, in Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambery, pp. 519-525.
3. A. Darwiche, J. Pearl, On the logic of iterated belief revision, Artificial Intelligence, 89:1-29, 1997.
4. N. Friedman, J. Y. Halpern, Conditional logics of belief change, in Proceedings of the National Conference on Artificial Intelligence (AAAI 94), pp. 915-921, 1994.
5. P. Gärdenfors, Knowledge in flux: modeling the dynamics of epistemic states, MIT Press, Cambridge, Massachussets, 1988.
6. L. Giordano, V. Gliozzi, N. Olivetti, A conditional logic for belief revision, in Proc. JELIA '98, LNAI 1489, Springer, 294-308, 1998.
7. L. Giordano, V. Gliozzi, N. Olivetti, A conditional logic for iterated belief revision, to appear in ECAI2000, Proc. 14th European Conference on Artificial Intelligence, W. Horn (ed.), IOS Press, Berlin, 2000, pp. 28-32.
8. G. Grahne, Updates and counterfactuals, Journal of Logic and Computation, Vol 8, No. 1:87-117, 1998.
9. H. Katsuno, A. O. Mendelzon, On the difference between updating a knowledge base and revising it, in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991.
10. H. Katsuno, K. Satoh, A unified view of consequence relation, belief revision and conditional logic, in Proc. 12th International Joint Conference on Artificial Intelligence (IJCAI'91), 1991, pp. 406-412.
11. D. Lehmann, Belief revision revised, in Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI'95), 1995, pp. 1534-1540.
12. D. Lewis, Counterfactuals, Blackwell, 1973.
13. S. Lindström, W. Rabinowicz, The Ramsey test revisited, in Crocco, Fariñas del Cerro, Herzig (eds.) Conditionals from Philosophy to Computer Science, Oxford University Press, 1995.
14. W. Nejdl, M. Banagl, Asking about possibilities-revision and update semantics for subjunctive queries, in Lakemayer, Nebel, Foundations of Knowledge Representation and Reasoning, Lecture Notes in Artificial Intelligence 810: 250-274, 1994.
15. D. Nute, Topics in Conditional Logic, Reidel, Dordrecht, 1980.
16. F. P. Ramsey, in A. Mellor (editor), Philosophical Papers, Cambridge University Press, Cambridge, 1990.
17. M. D. Ryan and P.-Y. Schobbens, Counterfactuals and updates as inverse modalities, Journal of Logic, Language and Information, 6, pp. 123-146, 1997.
18. R. Stalnaker, A theory of conditionals, in N. Rescher (ed.), Studies in Logical Theory, American Philosophical Quarterly, Monograph Series no. 2, Blackwell, Oxford: 98-112, 1968.