294 search results - page 13 / 59 » Modal Event Calculus |
103
click to vote
ECAI
1990
Springer
15 years 6 months ago
1990
Springer
The Event Calculus of Kowalski and Sergot only deals with discrete change. This paper introduces a simplified version of the Event Calculus and extends it to deal with continuous ...
107
Voted
DEBS
2009
ACM
15 years 9 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
136
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
134
click to vote
AGP
1994
IEEE
15 years 6 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
103
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...