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 .