Searching for "Proving Properties of States in the Situation Calculus." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Proving Properties of States in the Situation Calculus
- …Proving Properties of States in the Situation Calculus Raymond Reiter Department of Computer…
- Cited by 101 (14 self) – Add To MetaCart
-
On Formalizing Database Updates: Preliminary Report
- … with respect to the initial database state. We also address the problem of proving properties true in all…
- Cited by 27 (3 self) – Add To MetaCart
-
Formalizing Database Evolution in the Situation Calculus
- … and databases, an induction axiom suitable for proving properties of database states, and a discussion of query…
- Cited by 24 (1 self) – Add To MetaCart
-
Integrating Discrete and Continuous Change in a Logical Framework
- … to allow for properties that change within situations. We also show that our proposed situation calculus…
- Cited by 9 (3 self) – Add To MetaCart
-
Concurrent Actions and Changes in the Situation Calculus
- … properties of states in the situation calculus [18]. In this paper we will generally consider a situation…
- Cited by 4 (0 self) – Add To MetaCart
-
The Projection Problem in the Situation Calculus: A Soundness and Completeness Result
- …, proving such properties of states in the situation calculus requires mathematical induction. Using…
- Cited by 13 (1 self) – Add To MetaCart
Showing 1 through 6.
