Modifying Is Better Than Deleting: A New Approach To Base Revision
暂无分享,去创建一个
[1] Peter Gärdenfors,et al. Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..
[2] Bernhard Nebel,et al. Belief Revision: Syntax based approaches to belief revision , 1992 .
[3] Bernhard Nebel,et al. A Knowledge Level Analysis of Belief Revision , 1989, KR.
[4] André Fuhrmann,et al. A survey of multiple contractions , 1994, J. Log. Lang. Inf..
[5] David Makinson,et al. On the logic of theory change: Safe contraction , 1985, Stud Logica.
[6] Neil Tennant,et al. Changing the Theory of Theory Change: Towards a Computational Approach , 1994, The British Journal for the Philosophy of Science.
[7] Peter Gärdenfors,et al. Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.
[8] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.
[9] André Fuhrmann,et al. Theory contraction through base contraction , 1991, J. Philos. Log..
[10] Peter Gärdenfors,et al. Knowledge in Flux , 1988 .
[11] David Makinson. How to give it up: A survey of some formal aspects of the logic of theory change , 2004, Synthese.
[12] Ronald Fagin,et al. On the semantics of updates in databases , 1983, PODS.
[13] Craig Boutilier,et al. Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..
[14] Sven Ove Hansson. Belief Revision: A dyadic representation of belief , 1992 .
[15] Dov M. Gabbay,et al. A Methodology for Iterated Theory Change , 1996, FAPR.