暂无分享,去创建一个
[1] Torsten Schaub,et al. A consistency-based approach for belief change , 2003, Artif. Intell..
[2] Michael Gelfond,et al. Logic Programs with Classical Negation , 1990, ICLP.
[3] Wolfgang Faber,et al. The DLV system for knowledge representation and reasoning , 2002, TOCL.
[4] Mukesh Dalal,et al. Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.
[5] Norman Y. Foo,et al. Updating Logic Programs , 1998, ECAI.
[6] Alex M. Andrew,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .
[7] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[8] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[9] José Júlio Alferes,et al. Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..
[10] Mary-Anne Williams,et al. Iterated Theory Base Change: A Computational Model , 1995, IJCAI.
[11] Norman Y. Foo,et al. Towards Generalized Rule-based Updates , 1997, IJCAI.
[12] Ken Satoh. Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.
[13] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.
[14] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[15] Hans Tompits,et al. On properties of update sequences based on causal rejection , 2001, Theory and Practice of Logic Programming.
[16] David Pearce,et al. Strongly equivalent logic programs , 2001, ACM Trans. Comput. Log..
[17] Chiaki Sakama,et al. Updating Extended Logic Programs through Abduction , 1999, LPNMR.