A new approach to base revision

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

Volumn 1695, Issue , 1999, Pages 327-341

  Di Giusto, Paolo ^a   Governatori, Guido ^b  

^a Regione Emilia Romagna   (Italy)

^b GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

NEW APPROACHES;

ARTIFICIAL INTELLIGENCE;

EID: 84957708964     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48159-1_23     Document Type: Conference Paper

References (16)

1. Alchourrón, C.E., Makinson, D., On the logic of theory change: safe contraction. Studia Logica, 44, pp.405-422 (1985)
2. Boutilier, C., Iterated Revision and Minimal Change of Conditional Beliefs. Journal of Philosophical Logic, 25, pp. 263-305 (1996)
3. Fagin, R., Ullmann, J.D., Vardi, M.Y., On the semantics of Updates in Databases. In 2nd ACM SIGACT-SIGMOD Symposium on Principles of database Systems, pp. 352-365, (1983)
4. Fuhrmann, A., Theory contraction through base contraction. Journal of Philosophical Logic, 20, pp.175-203, (1991)
5. Fuhrmann, A. and Hansson, S.O.: A Survey of Multiple Contractions, The Journal of Logic, Language and Information 3, pp. 39-75, (1994)
6. Gabbay, D.M., Rodrigues, O., A Methodology for Iterated Theory Change. In Gabbay D.M., Ohlbach H.J. (eds.): Practical Reasoning, LNAI 1085, Springer-Verlag Berlin, pp.193-207 (1996)
7. Gärdenfors, P., Knowledge in Flux. MIT Press, Cambridge (MA), (1988)
8. Gärdenfors, P., Makinson, D., Nonmonotonic inference based on expectations. Artificial Intelligence, 65, pp. 197-245, (1994)
9. Ginsberg, M.L., Counterfactuals. Artificial Intelligence 30(1), pp. 35-79, (1986)
10. Hansson, S.O., In Defence of Base Contraction. Synthese, 91 (1992), pp.239-245
11. Hansson, S.O., A Dyadic Representation of Belief. In Gärdenfors, P. (ed): Belief Revision, Oxford University Press, 1993.
12. Makinson, D., How to give up: a survey of some formal aspects of the logic of theory change. Synthese, 62, pp. 347-363, (1985)
13. Makinson, D., Gärdenfors, P., Relations between the logic of Theory change and Nonmonotonic Logic. In Fuhrmann, A., Morreau, M. (eds): The Logic of Theory Change, Springer-Verlag, Berlin, (1991)
14. Nebel, B., A Knowledge Level Analysis of Belief Revision. In Brachman, R.J., Levesque, H.J., Reiter, R. (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the 1st Int. Conference, pp.301-311,(1989)
15. Nebel, B., Syntax-based Approaches to Belief Revision. In Gärdenfors, P. (ed): Belief Revision, Oxford University Press, 1993
16. Tennant, N., Changing the Theory of Theory Change: Towards a Computational Approach. British Journal for Philosophy of Science, 45, pp. 865-897, (1994)