23 search results - page 2 / 5 » Representing Continuous Change in the Event Calculus |
96
Voted
DEBS
2009
ACM
15 years 7 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...
124
Voted
AIPS
2009
15 years 2 months ago
2009
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
138
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
112
Voted
WSC
2000
15 years 2 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
119
Voted
KR
1998
Springer
15 years 5 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...