Belief revision in Horn theories
暂无分享,去创建一个
[1] Jean H. Gallier,et al. Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..
[2] Wlodzimierz Rabinowicz,et al. Epistemic entrenchment with incomparabilities and relational belief revision , 1989, The Logic of Theory Change.
[3] Craig Boutilier,et al. Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..
[4] James P. Delgrande,et al. Horn Clause Belief Change: Contraction Functions , 2008, KR.
[5] James P. Delgrande,et al. Horn Clause Contraction Functions , 2013, J. Artif. Intell. Res..
[6] Mukesh Dalal,et al. Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.
[7] Craig Boutilier,et al. Revision Sequences and Nested Conditionals , 1993, IJCAI.
[8] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[9] R. Parikh. Beliefs, belief revision, and splitting languages , 1999 .
[10] Balázs Szörényi,et al. Horn Complements: Towards Horn-to-Horn Belief Revision , 2008, AAAI.
[11] Bart Selman,et al. Knowledge compilation and theory approximation , 1996, JACM.
[12] Georg Gottlob,et al. On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..
[13] Maurice Pagnucco,et al. Transitively Relational Partial Meet Horn Contraction , 2011, IJCAI.
[14] Maurice Pagnucco,et al. Model Based Horn Contraction , 2012, KR.
[15] Yan Zhang,et al. Definability of Horn Revision from Horn Contraction , 2013, IJCAI.
[16] James P. Delgrande,et al. Horn Clause Contraction Functions: Belief Set and Belief Base Approaches , 2010, KR.
[17] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[18] Norman Y. Foo,et al. Distance Semantics for Relevance-Sensitive Belief Revision , 2004, KR.
[19] Guilin Qi,et al. A Survey of Revision Approaches in Description Logics , 2008, Description Logics.
[20] Pavlos Peppas,et al. Conflicts between Relevance-Sensitive and Iterated Belief Revision , 2008, ECAI.
[21] James P. Delgrande,et al. Revising Horn Theories , 2011, IJCAI.
[22] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[23] Ken Satoh. Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.
[24] Paolo Liberatore. Compilability and compact representations of revision of Horn knowledge bases , 2000, TOCL.
[25] Maurice Pagnucco,et al. Horn Contraction via Epistemic Entrenchment , 2010, JELIA.
[26] Richard Booth,et al. On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic , 2011, J. Artif. Intell. Res..
[27] Richard Booth,et al. Next Steps in Propositional Horn Contraction , 2009, IJCAI.
[28] Peter Gärdenfors,et al. Belief Revision , 1995 .
[29] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[30] Grigoris Antoniou,et al. Generalizing the AGM postulates: preliminary results and applications , 2004, NMR.
[31] Eduardo L. Fermé,et al. Belief Revision , 2007, Inteligencia Artif..
[32] Judea Pearl,et al. On the Logic of Iterated Belief Revision , 1994, Artif. Intell..
[33] Stefan Woltran,et al. Belief revision within fragments of propositional logic , 2012, J. Comput. Syst. Sci..