Consistent Belief Reasoning in the Presence of Inconsistency
暂无分享,去创建一个
[1] Raymond Reiter,et al. On The Semantics of Belief Revision Systems , 1992, TARK.
[2] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[3] Gabriel M. Kuper,et al. Updating Logical Databases , 1986, Adv. Comput. Res..
[4] L. I. Rozonoer,et al. On interpretation of inconsistent theories , 1989, Inf. Sci..
[5] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[6] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[7] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[8] Peter Gärdenfors,et al. Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.
[9] Michael Kifer,et al. RI: a logic for reasoning with inconsistency , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[10] Wei Li,et al. On logic of paradox , 1995, Proceedings 25th International Symposium on Multiple-Valued Logic.
[11] Timos K. Sellis,et al. Conflict resolution of rules assigning values to virtual attributes , 1989, SIGMOD '89.
[12] Ronald Fagin,et al. A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..
[13] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[14] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..
[15] Newton C. A. da Costa,et al. On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..
[16] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[17] Moshe Y. Vardi. On Epistemic Logic and Logical Omniscience , 1986, TARK.
[18] Matthew L. Ginsberg,et al. Multivalued logics: a uniform approach to reasoning in artificial intelligence , 1988, Comput. Intell..
[19] Nicholas Rescher,et al. The logic of inconsistency , 1979 .
[20] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[21] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .
[22] Graham Priest,et al. Minimally inconsistent LP , 1991, Stud Logica.
[23] Fangzhen Lin,et al. Reasoning in the Presence of Inconsistency , 1987, AAAI.
[24] G. Lakemeyer. Models of belief for decidable reasoning in incomplete knowledge bases , 1992 .
[25] Joseph Y. Halpern. Reasoning About Knowledge: An Overview , 1986, TARK.