Sciweavers

23 search results - page 1 / 5
» Representing Continuous Change in the Event Calculus
Sort
View
ECAI
1990
Springer
13 years 9 months ago
Representing Continuous Change in the Event Calculus
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 ...
Murray Shanahan
AIS
2004
Springer
13 years 10 months ago
Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
Bernard P. Zeigler, Rajanikanth Jammalamadaka, Sal...
AAAI
1990
13 years 6 months ago
An Approach to Reasoning About Continuous Change for Applications in Planning
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
Thomas Dean, Greg Siegle
UAI
2008
13 years 6 months ago
CT-NOR: Representing and Reasoning About Events in Continuous Time
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
Aleksandr Simma, Moisés Goldszmidt, John Ma...
SLP
1994
77views more  SLP 1994»
13 years 6 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari