Non-atomic actions in the situation calculus
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 273-284
- https://doi.org/10.1007/3-540-60428-6_23
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Proving properties of states in the situation calculusArtificial Intelligence, 1993
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal RegressionPublished by Elsevier ,1991
- What Are the Limitations of the Situation Calculus?Published by Springer Nature ,1991
- Monotonic Solution of The Frame Problem in The Situation CalculusPublished by Springer Nature ,1990
- The Case for Domain-Specific Frame AxiomsPublished by Elsevier ,1987
- A logic for default reasoningArtificial Intelligence, 1980