Searching for "Inductive situation calculus." – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
