Reasoning about time in the situation calculus
- 1 June 1995
- journal article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 14 (2-4) , 251-268
- https://doi.org/10.1007/bf01530822
Abstract
No abstract availableKeywords
This publication has 9 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
- Characterizing diagnosesPublished by Springer Nature ,1990
- Monotonic Solution of The Frame Problem in The Situation CalculusPublished by Springer Nature ,1990
- Temporal Logic of ProgramsPublished by Springer Nature ,1987
- A logic-based calculus of eventsNew Generation Computing, 1986
- Hardware VerificationComputer, 1985
- Towards a general theory of action and timeArtificial Intelligence, 1984
- The temporal semantics of concurrent programsTheoretical Computer Science, 1981