Query Evaluation and Progression in AOL Knowledge Bases
暂无分享,去创建一个
[1] Hector J. Levesque,et al. The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.
[2] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[3] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[4] Hector J. Levesque,et al. What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.
[5] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .
[6] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[7] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[8] Leonard Linsky,et al. Reference and modality , 1971 .
[9] R. Reiter,et al. Forget It ! , 1994 .
[10] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.
[11] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[12] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[13] Vladimir Lifschitz,et al. Computing Circumscription , 1985, IJCAI.
[14] Gerhard Lakemeyer,et al. Querying AOL Knowledge Bases , 2000, Intellectics and Computational Logic.
[15] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[16] Gerhard Lakemeyer,et al. AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.