Transitively Relational Partial Meet Horn Contraction
暂无分享,去创建一个
[1] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[2] P. Gärdenfors,et al. Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.
[3] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[4] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[5] Hans Rott,et al. Preferential belief change using generalized epistemic entrenchment , 1992, J. Log. Lang. Inf..
[6] Sven Ove Hansson,et al. A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.
[7] G. Flouris,et al. On belief change and ontology evolution , 2006 .
[8] James P. Delgrande,et al. Horn Clause Belief Change: Contraction Functions , 2008, KR.
[9] Richard Booth,et al. Next Steps in Propositional Horn Contraction , 2009, IJCAI.
[10] James P. Delgrande,et al. Horn Clause Contraction Functions: Belief Set and Belief Base Approaches , 2010, KR.
[11] Maurice Pagnucco,et al. Horn Contraction via Epistemic Entrenchment , 2010, JELIA.
[12] Maurice Pagnucco,et al. Two Methods for Constructing Horn Contractions , 2010, Australasian Conference on Artificial Intelligence.
[13] Richard Booth,et al. A contraction core for Horn belief change: Preliminary report , 2010 .