Proving properties of states in the situation calculus
- 31 December 1993
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 64 (2), 337-351
- https://doi.org/10.1016/0004-3702(93)90109-o
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- What should a database know?The Journal of Logic Programming, 1992
- Automatic verification of database transaction safetyACM Transactions on Database Systems, 1989
- Situations, Actions, and Causal LawsPublished by Defense Technical Information Center (DTIC) ,1963