Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
暂无分享,去创建一个
[1] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[2] Gerhard Lakemeyer,et al. A Tractable Knowledge Representation Service with Full Introspection , 1988, TARK.
[3] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[4] Alan M Frisch. Knowledge Retrieval as Specialized Inference. , 1987 .
[5] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .
[6] Robert C. Moore. Possible-World Semantics for Autoepistemic Logic , 1987, NMR.
[7] P. Patel-Schneider. Decidable, logic-based knowledge representation , 1987 .
[8] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.
[9] Richard W. Weyhrauch,et al. A Decidable Fragment of Predicate Calculus , 1984, Theor. Comput. Sci..
[10] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[11] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[12] Victor W. Marek,et al. Relating Autoepistemic and Default Logics , 1989, KR.
[13] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[14] Martin D. Davis,et al. Obvious Logical Inferences , 1981, IJCAI.
[15] Kurt Konolige,et al. A Computational Theory of Belief Introspection , 1985, IJCAI.
[16] Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.
[17] Gerhard Lakemeyer. A Model of Decidable Introspective Reasoning with Quantifying-In , 1991, IJCAI.
[18] Peter Jackson,et al. Logic-based knowledge representation , 1989 .
[19] Alan Mark Frisch. Knowledge retrieval as specialized inference (artificial intelligence, sorted logic) , 1986 .
[20] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[21] Joseph Y. Halpern,et al. A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.