The situation calculus: a case for modal logic
From MaRDI portal
Publication:616039
DOI10.1007/S10849-009-9117-6zbMath1227.03022OpenAlexW2094502182MaRDI QIDQ616039
Publication date: 7 January 2011
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-009-9117-6
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Uses Software
Cites Work
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Knowledge, action, and the frame problem
- ConGolog, a concurrent programming language based on the situation calculus
- Reasoning about noisy sensors and effectors in the situation calculus
- Using temporal logics to express search control knowledge for planning
- Experiences with an interactive museum tour-guide robot
- STRIPS: A new approach to the application of theorem proving to problem solving
- Epistemology Without Knowledge and Without Belief
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Regression in Modal Logic
- Belief Change: from Situation Calculus to Modal Logic
- “Sometimes” and “not never” revisited
- GOLOG: A logic programming language for dynamic domains
- cc-Golog - An Action Language with Continuous Change
- Formalizing action and change in modal logic I: the frame problem
- On knowledge-based programming with sensing in the situation calculus
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The situation calculus: a case for modal logic
