Belief Revision in a Nonclassical Logic
暂无分享,去创建一个
[1] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[2] John K. Slaney,et al. Realistic Belief Revision , 1995, WOCFAI.
[3] Bernhard Nebel,et al. A Knowledge Level Analysis of Belief Revision , 1989, KR.
[4] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..
[5] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[6] Isaac Levi. Subjunctives, dispositions and chances , 1977 .
[7] Jinxin Lin,et al. Consistent Belief Reasoning in the Presence of Inconsistency , 1994, TARK.
[8] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[9] Georg Gottlob,et al. On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals , 1992, Artif. Intell..