On perfect introspection with Quantifying-in
暂无分享,去创建一个
[1] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[2] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[3] Wiktor Marek,et al. STABLE THEORIES IN AUTOEPISTEMIC LOGIC , 1989 .
[4] Victor W. Marek,et al. Relating Autoepistemic and Default Logics , 1989, KR.
[5] G. Lakemeyer. Models of belief for decidable reasoning in incomplete knowledge bases , 1992 .
[6] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[7] Gerhard Lakemeyer. Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection , 1990, AAAI.
[8] Leonard Linsky,et al. Reference and modality , 1971 .
[9] Gerhard Lakemeyer,et al. A Tractable Knowledge Representation Service with Full Introspection , 1988, TARK.
[10] G. Lakemeyer. On perfect introspection with quantifying-in: extended abstract , 1992 .
[11] Peter Jackson,et al. Logic-based knowledge representation , 1989 .
[12] Joseph Y. Halpern,et al. A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.
[13] Jaakko Hintikka,et al. Models for modalities , 1975 .
[14] Robert C. Moore. Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.
[15] J. Altham. Naming and necessity. , 1981 .
[16] P. Patel-Schneider. Decidable, logic-based knowledge representation , 1987 .
[17] H. Levesque. A formal treatment of incomplete knowledge bases , 1981 .
[18] Kurt Konolige,et al. Quantification in autoepistemic logic , 1991, Fundam. Informaticae.
[19] Joseph Y. Halpern,et al. Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.
[20] Kurt Konolige,et al. On the Relation Between Autoepistem ic Logic and Circumscription , 1989, IJCAI.