Evaluative multiple revision based on core beliefs
暂无分享,去创建一个
[1] Sven Ove Hansson,et al. AGM 25 Years , 2011, J. Philos. Log..
[2] Norman Y. Foo,et al. Infinitary Belief Revision , 2001, J. Philos. Log..
[3] Eduardo L. Fermé,et al. Possible Worlds Semantics for Partial Meet Multiple Contraction , 2011, Journal of Philosophical Logic.
[4] David Makinson,et al. On the logic of theory change: Safe contraction , 1985, Stud Logica.
[5] Peter Gärdenfors,et al. Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.
[6] Peter Gärdenfors,et al. Belief Revision , 1995 .
[7] Mariano Méndez. Belief revision by sets of sentences , 1996 .
[8] Risto Hilpinen,et al. New Studies in Deontic Logic , 1981 .
[9] Judea Pearl,et al. On the Logic of Iterated Belief Revision , 1994, Artif. Intell..
[10] Sven Ove Hansson. Multiple and iterated contraction reduced to single-step single-sentence contraction , 2009, Synthese.
[11] S. Hansson. Belief base dynamics , 1991 .
[12] Frank van Harmelen,et al. Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.
[13] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[14] Sven Ove Hansson. Kernel Contraction , 1994, J. Symb. Log..
[15] Guillermo Ricardo Simari,et al. Prioritized and Non-prioritized Multiple Change on Belief Bases , 2011, Journal of Philosophical Logic.
[16] C. E. Alchourrón,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985 .
[17] Sven Ove Hansson,et al. Replacement—A Sheffer Stroke for Belief Change , 2009, J. Philos. Log..
[18] Mary-Anne Williams,et al. Frontiers in Belief Revision , 2001 .
[19] Peter Gärdenfors,et al. Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .
[20] Eduardo L. Fermé,et al. System of Spheres-based Multiple Contractions , 2011, J. Philos. Log..
[21] S. Hansson. In defense of base contraction , 1992, Synthese.
[22] André Fuhrmann,et al. Theory contraction through base contraction , 1991, J. Philos. Log..
[23] S. Hansson. A Survey of non-Prioritized Belief Revision , 1999 .
[24] Eduardo L. Fermé,et al. Multiple Kernel Contraction , 2003, Stud Logica.
[25] Sven Ove Hansson,et al. A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.
[26] Moshe Y. Vardi. Conference on Theoretical Aspects of Reasoning about Knowledge , 1990 .
[27] André Fuhrmann,et al. A survey of multiple contractions , 1994, J. Log. Lang. Inf..
[28] Carlos E. Alchourrón,et al. Hierarchies of Regulations and their Logic , 1981 .
[29] John Cantwell,et al. Credibility limited revision , 2001, Journal of Symbolic Logic.