Event Calculus with Explicit Quantifiers

13 years 8 months ago

Download users.dimi.uniud.it

Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R. Morris, L. Khatib editors), pp. 81

Iliano Cervesato, Massimo Franceschet, Angelo Mont

Real-time Traffic

Automated Reasoning | IEEE Computer Society Press | Ple Temporal Formalism | Sergot's Event Calculus | TIME 1998 |

claim paper

» Checking Correctness of Transactional Behaviors

» Systems Modelling via Resources and Processes Philosophy Calculus Semantics and Logic

» A unifying semantics for time and events

» Random Event Structures

» Practical Programming with HigherOrder Encodings and Dependent Types

» Computing Robust Plans in Continuous Domains

» Composing Features by Managing Inconsistent Requirements

» Behavioural Equivalences for Dynamic Web Data

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	TIME
Authors	Iliano Cervesato, Massimo Franceschet, Angelo Montanari

Comments (0)

Sciweavers

Event Calculus with Explicit Quantifiers

Automated Reasoning | IEEE Computer Society Press | Ple Temporal Formalism | Sergot's Event Calculus | TIME 1998 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers