A semantic characterization of a useful fragment of the situation calculus with knowledge
暂无分享,去创建一个
[1] J. Armstrong. Knowledge and Belief , 1953 .
[2] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[3] D. Davidson. Truth and Meaning , 1967 .
[4] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[5] Marvin Minsky,et al. Semantic Information Processing , 1968 .
[6] Leonard Linsky,et al. Reference and modality , 1971 .
[7] G. E. Hughes,et al. An introduction to modal logic, 2e éd., 1 vol , 1973 .
[8] Vaughan R. Pratt,et al. SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.
[9] Vaughan R. Pratt,et al. Semantical consideration on floyo-hoare logic , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
[10] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[11] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .
[12] Robert C. Moore,et al. Formal Theories of the Commonsense World , 1985 .
[13] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[14] 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.
[15] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..
[16] Erik Sandewall. Features and fluents : representation of knowledge about dynamical systems , 1994 .
[17] E. Sandewall. Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .
[18] Maurizio Lenzerini,et al. PDL-based framework for reasoning about actions , 1995, AI*IA.
[19] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[20] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[21] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[22] Gerhard Lakemeyer,et al. AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.
[23] Hector J. Levesque,et al. Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..
[24] Michael Thielscher,et al. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..
[25] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[26] Andreas Herzig,et al. Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..
[27] Wolfram Burgard,et al. Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..
[28] Dominique Longin,et al. A Logic for Planning under Partial Observability , 2000, AAAI/IAAI.
[29] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[30] Raymond Reiter,et al. Open World Planning in the Situation Calculus , 2000, AAAI/IAAI.
[31] Raymond Reiter,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .
[32] Maarten Marx,et al. Situation Calculus as Hybrid Logic: First Steps , 2001, EPIA.
[33] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[34] Dov M. Gabbay,et al. Handbook of Philosophical Logic Vol. 10 , 2001 .
[35] Ray Reiter,et al. On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..
[36] D. Fensel. Principles of knowledge representation and reasoning : proceedings of the eighth International Conference (KR2002), Toulouse, France, April 22-25, 2002 , 2002 .
[37] Tran Cao Son,et al. Adapting Golog for Composition of Semantic Web Services , 2002, KR.
[38] Robert Demolombe,et al. Belief Change: from Situation Calculus to Modal Logic , 2003, J. Appl. Non Class. Logics.
[39] Andreas Herzig,et al. Regression in Modal Logic , 2003, J. Appl. Non Class. Logics.
[40] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[41] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[42] Gerhard Lakemeyer,et al. Semantics for a useful fragment of the situation calculus , 2005, IJCAI.
[43] D. Holdstock. Past, present--and future? , 2005, Medicine, conflict, and survival.
[44] Gerhard Lakemeyer,et al. Towards an Axiom System for Default Logic , 2006, AAAI.
[45] Philip Hugly,et al. There Is A Problem with Substitutional Quantification , 2008 .
[46] Hector J. Levesque,et al. On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture , 2008, AAAI.
[47] G. Lakemeyer,et al. A Semantical Account of Progression in the Presence of Defaults , 2009, IJCAI.
[48] Steffen Hölldobler,et al. A new deductive approach to planning , 1989, New Generation Computing.
[49] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[50] Saul A. Kripke,et al. Semantical Considerations on Modal Logic , 2012 .