Limited Reasoning in First-Order Knowledge Bases with Full Introspection

[1]  Gerhard Lakemeyer,et al.  Levesque's Axiomatization of only Knowing is Incomplete , 1995, Artif. Intell..

[2]  Gerhard Lakemeyer,et al.  Limited Reasoning in First-Order Knowledge Bases , 1994, Artif. Intell..

[3]  Leora Morgenstern,et al.  Motivated Action Theory: a Formal Theory of Causal Reasoning , 1994, Artif. Intell..

[4]  Gerhard Lakemeyer,et al.  Enhancing the Power of a Decidable First-Order Reasoner , 1994, KR.

[5]  Gerhard Lakemeyer.  All You Ever Wanted to Know about Tweety (But Were Afraid to Ask) , 1992, KR.

[6]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[7]  Gerhard Lakemeyer.  On perfect introspection with Quantifying-in , 1992, Fundam. Informaticae.

[8]  G. Lakemeyer.  Models of belief for decidable reasoning in incomplete knowledge bases , 1992 .

[9]  Hector J. Levesque,et al.  Hard problems for simple default logics , 1992 .

[10]  Werner Nutt,et al.  Adding Epistemic Operators to Concept Languages , 1992, KR.

[11]  Gerhard Lakemeyer.  A Model of Decidable Introspective Reasoning with Quantifying-In , 1991, IJCAI.

[12]  Jennifer J. Elgot-Drapkin,et al.  Step-Logic and the Three-Wise-Men Problem , 1991, AAAI.

[13]  Alan M. Frisch.  The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning , 1991, Artif. Intell..

[14]  Gerhard Lakemeyer,et al.  On the Relation between Explicit and Implicit Belief , 1991, KR.

[15]  Donald Perlis,et al.  Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..

[16]  Gerhard Lakemeyer.  Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection , 1990, AAAI.

[17]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[18]  Victor W. Marek,et al.  Relating Autoepistemic and Default Logics , 1989, KR.

[19]  Gerhard Lakemeyer,et al.  A Tractable Knowledge Representation Service with Full Introspection , 1988, TARK.

[20]  Alan M Frisch.  Knowledge Retrieval as Specialized Inference. , 1987 .

[21]  P. Patel-Schneider.  Decidable, logic-based knowledge representation , 1987 .

[22]  Gerhard Lakemeyer.  Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.

[23]  Kurt Konolige,et al.  A Computational Theory of Belief Introspection , 1985, IJCAI.

[24]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.

[25]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[26]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[27]  Richard W. Weyhrauch,et al.  A Decidable Fragment of Predicate Calculus , 1984, Theor. Comput. Sci..

[28]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[29]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[30]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[31]  J. Altham.  Naming and necessity. , 1981 .

[32]  J. Dunn,et al.  Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .

[33]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[34]  Leonard Linsky,et al.  Reference and modality , 1971 .

[35]  J. Hintikka.  Semantics for Propositional Attitudes , 1969 .

[36]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .