1614 search results - page 194 / 323 » Planning as Temporal Reasoning |
153
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
150
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
161
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The ability for an agent to reason under uncertainty is crucial for many planning applications, since an agent rarely has access to complete, error-free information about its envi...
169
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
Interruptible rendering is a novel approach to the fidelity-versusperformance tradeoff ubiquitous in real-time rendering. Interruptible rendering unifies spatial error, caused by ...