3 search results - page 1 / 1 » Reasoning about Concurrent Execution Prioritized Interrupts,... |
IJCAI
1997
13 years 6 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
IJIS
2010
13 years 1 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
AIPS
2009
13 years 5 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...