HYPOTHETICAL REASONING ABOUT ACTIONS: FROM SITUATION CALCULUS TO EVENT CALCULUS
- 1 August 1996
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 12 (3) , 478-498
- https://doi.org/10.1111/j.1467-8640.1996.tb00272.x
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Narratives in the Situation CalculusJournal of Logic and Computation, 1994
- Logic programming and negation: A surveyThe Journal of Logic Programming, 1994
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- Reasoning about Termination of Pure Prolog ProgramsInformation and Computation, 1993
- Database updates in the event calculusThe Journal of Logic Programming, 1992
- Acyclic programsNew Generation Computing, 1991
- What Are the Limitations of the Situation Calculus?Published by Springer Nature ,1991
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Towards a general theory of action and timeArtificial Intelligence, 1984