Searching for "An Introduction to the Event Calculus." – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Counterfactual Reasoning by Means of a Calculus of Narrative Context
- … Science Dresden University of Technology (Germany) Abstract. The basic Event Calculus is extended by a…
- Cited by 2 (0 self) – Add To MetaCart
-
Event Calculus with Explicit Quantifiers
- … calculus. 1 Introduction The Event Calculus, abbreviated EC [5], is a simple temporal formalism designed…
- Add To MetaCart
-
Combining Situation Calculus and Event Calculus
- … of this new formalism. 1 Introduction The Situation Calculus ( [ 15 ] ) and the Event Calculus ( [ 14…
- Cited by 11 (1 self) – Add To MetaCart
-
the Event Calculus
- … how the stimulus and policy constructs are formalised using the event calculus. 3 An Introduction…
- Cited by 1 (0 self) – Add To MetaCart
-
G.: Reasoning in the Event Calculus using First-Order Automated Theorem Proving
- …@(email omitted); Introduction The event calculus (EC) (Shanahan 1999) is a powerful and highly usable formalism for reasoning…
- Cited by 3 (0 self) – Add To MetaCart
-
Scenarios for the Passé Simple and Imparfait - An event calculus approach to French semantics
- …. The last two chapters will be devoted respectively to an introduction to the event calculus and to a…
- Cited by 1 (0 self) – Add To MetaCart
-
J. LOGIC PROGRAMMING 1992:12:121-146 121 DATABASE UPDATES IN THE EVENT CALCULUS
- … assignment in relational databases. a INTRODUCTION The event calculus [91 was developed as a theory…
- Add To MetaCart
-
Some alternative formulations of the event calculus
- … procedures recently developed for E. 1 Introduction The “Event Calculus” was originally introduced by Bob…
- Cited by 21 (0 self) – Add To MetaCart
-
Representing Continuous Change in the Abductive Event Calculus
- … thereof. 1 Introduction The Event Calculus (see [ 12 ] ) is one of the many formalisms used…
- Cited by 9 (8 self) – Add To MetaCart
-
The Event Calculus in Classical Logic -- Alternative Axiomatisations
- … Introduction The "Event Calculus" was originally introduced by Kowalski and Sergot [KoSe 86] as a logic…
- Cited by 26 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
