Tractable Meta-Reasoning in Propositional Logics of Belief
暂无分享,去创建一个
[1] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[2] H. Levesque. A formal treatment of incomplete knowledge bases , 1981 .
[3] Kurt Konolige. Belief and incompleteness , 1984 .
[4] Moshe Y. Vardi. On Epistemic Logic and Logical Omniscience , 1986, TARK.
[5] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[6] Gary G. Hendrix,et al. Computational Models of Belief and the Semantics of Belief Sentences , 1982 .
[7] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[8] Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.
[9] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.
[10] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.
[11] Joseph Y. Halpern,et al. A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.