暂无分享,去创建一个
[1] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[2] Katsumi Inoue,et al. Characterization Theorems for Revision of Logic Programs , 2013, LPNMR.
[3] Mukesh Dalal,et al. Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.
[4] Stefan Woltran,et al. A Model-Theoretic Approach to Belief Change in Answer Set Programming , 2013, TOCL.
[5] Kewen Wang,et al. Partial Meet Revision and Contraction in Logic Programs , 2015, AAAI.
[6] David Pearce,et al. Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..
[7] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[8] Sven Ove Hansson,et al. A textbook of belief dynamics - theory change and database updating , 1999, Applied logic series.
[9] Hudson Turner,et al. Strong equivalence made easy: nested expressions and weight constraints , 2003, Theory and Practice of Logic Programming.
[10] Ken Satoh. Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.
[11] Stefan Woltran,et al. AGM-Style Belief Revision of Logic Programs under Answer Set Semantics , 2008, LPNMR.
[12] Gabriele Kern-Isberner,et al. Belief Base Change Operations for Answer Set Programming , 2012, JELIA.
[13] SVEN OVE HANSSON,et al. Reversing the Levi identity , 1993, J. Philos. Log..