A Tractable Knowledge Representation Service with Full Introspection
暂无分享,去创建一个
[1] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[2] Gerhard Lakemeyer. Tractable Meta-Reasoning in Propositional Logics of Belief , 1987, IJCAI.
[3] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[4] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.
[5] Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.
[6] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[7] Robert C. Moore. Possible-World Semantics for Autoepistemic Logic , 1987, NMR.
[8] Hector J. Levesque,et al. All I Know: An Abridged Report , 1987, AAAI.
[9] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[10] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[11] Joseph Y. Halpern,et al. A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.
[12] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.