Searching for "Inductive situation calculus." – sorted by Relevance.
-
Inductive Situation Calculus
- Inductive Situation Calculus Marc Denecker a Eugenia Ternovska b a Department of Computer Science
- Cited by 17 (10 self) – Add To MetaCart
-
Reconciling the Event Calculus with the Situation Calculus
- with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our
- Cited by 12 (0 self) – Add To MetaCart
-
Marc Denecker
- Inductive Situation Calculus Marc Denecker Department of Computer Science, K
- Add To MetaCart
-
A Logic of Non-Monotone Inductive Definitions and its Modularity Properties
- in this paper, we describe a temporal formalism, the inductive situation calculus, where causal dependencies
- Cited by 27 (18 self) – Add To MetaCart
-
State Constraints Revisited
- of the use of induction in the situation calculus, see (Reiter [22]). In reality, an action is not always
- Cited by 211 (30 self) – Add To MetaCart
-
Temporal Reasoning in the Situation Calculus
- ] for examples of the need for, and use of, induction in the situation calculus. The induction axiom (2
- Cited by 116 (11 self) – Add To MetaCart
-
Reasoning about Time in the Situation Calculus.
- of, induction in the situation calculus. Proposition 2.1 Some consequences of these axioms are 4
- Cited by 31 (4 self) – Add To MetaCart
-
Formalizing Database Evolution in the Situation Calculus
- of sort state. 2.3 An Induction Axiom There is a close analogy between the situation calculus
- Cited by 24 (1 self) – Add To MetaCart
-
Recommended citation:
- of the situation s 0 . The situation calculus induction axiom (2) is simply the induction principle for lists
- Add To MetaCart
-
Scheduling in the Situation Calculus: A Case Study
- of induction in the situation calculus, see (Reiter [12]). 6 We require the following global constraint: P
- Add To MetaCart

