The Situation Calculus: A Case for Modal Logic
暂无分享,去创建一个
[1] Maarten Marx,et al. Situation Calculus as Hybrid Logic: First Steps , 2001, EPIA.
[2] Vaughan R. Pratt,et al. SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.
[3] Alexander Ferrein,et al. On-Line Decision-Theoretic Golog for Unpredictable Domains , 2004, KI.
[4] Dominique Longin,et al. A Logic for Planning under Partial Observability , 2000, AAAI/IAAI.
[5] Alfredo Gabaldon,et al. Precondition Control and the Progression Algorithm , 2004, ICAPS.
[6] Frank van Harmelen,et al. Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.
[7] Gerhard Lakemeyer,et al. Cognitive Robotics , 2008, Handbook of Knowledge Representation.
[8] 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.
[9] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[10] Hector J. Levesque,et al. Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..
[11] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.
[12] B. Nebel. Introduction to Modal Logic Introduction , 2009 .
[13] Robert C. Moore,et al. Formal Theories of the Commonsense World , 1985 .
[14] A. Campbell,et al. Progress in Artificial Intelligence , 1995, Lecture Notes in Computer Science.
[15] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[16] Alberto Finzi,et al. Augmenting situation awareness via model-based control in rescue robots , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[17] Gerhard Lakemeyer,et al. A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..
[18] Saul A. Kripke,et al. Semantical Considerations on Modal Logic , 2012 .
[19] Tran Cao Son,et al. Adapting Golog for Composition of Semantic Web Services , 2002, KR.
[20] Andreas Herzig,et al. Regression in Modal Logic , 2003, J. Appl. Non Class. Logics.
[21] Dov M. Gabbay,et al. Handbook of Philosophical Logic , 2002 .
[22] Javier Pinto,et al. Integrating Discrete and Continuous Change in a Logical Framework , 1998, Comput. Intell..
[23] Andreas Herzig,et al. Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..
[24] Sheila A. McIlraith,et al. Planning with Qualitative Temporal Preferences , 2006, KR.
[25] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[26] Robert Demolombe,et al. Belief Change: from Situation Calculus to Modal Logic , 2003, J. Appl. Non Class. Logics.
[27] Hector J. Levesque,et al. Reasoning about Noisy Sensors and Effectors in the Situation Calculus , 1995, Artif. Intell..
[28] Fangzhen Lin,et al. How to Progress a Database , 1997, Artif. Intell..
[29] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[30] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.
[31] Marvin Minsky,et al. Semantic Information Processing , 1968 .
[32] Gerhard Lakemeyer,et al. Semantics for a useful fragment of the situation calculus , 2005, IJCAI.
[33] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .
[34] Fahiem Bacchus,et al. Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..
[35] Joseph Y. Halpern,et al. “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.
[36] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[37] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[38] Wolfram Burgard,et al. Experiences with an Interactive Museum Tour-Guide Robot , 1999, Artif. Intell..
[39] Gerhard Lakemeyer,et al. A Logic for Non-Terminating Golog Programs , 2008, KR.
[40] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[41] Raymond Reiter,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .
[42] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[43] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[44] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[45] Hector J. Levesque,et al. Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.
[46] Andreas Herzig,et al. Optimal Regression for Reasoning about Knowledge and Actions , 2007, AAAI.
[47] Carsten Lutz,et al. Complexity and succinctness of public announcement logic , 2006, AAMAS '06.
[48] J. Hintikka. Knowledge and belief , 1962 .
[49] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[50] Murray Shanahan. Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .
[51] Ray Reiter,et al. On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..
[52] D. Holdstock. Past, present--and future? , 2005, Medicine, conflict, and survival.
[53] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[54] Gerhard Lakemeyer,et al. ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.