Sciweavers

78 search results - page 1 / 16
» Reasoning about Concurrent Actions and Observations
Sort
View
51
Voted
AGP
1996
IEEE
15 years 1 months ago
Reasoning about Concurrent Actions and Observations
Renwei Li, Luís Moniz Pereira
AAAI
2006
14 years 10 months ago
Reasoning about Partially Observed Actions
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
Megan Nance, Adam Vogel, Eyal Amir
IJCAI
1997
14 years 10 months ago
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
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 ...
Giuseppe De Giacomo, Yves Lespérance, Hecto...
KR
1992
Springer
15 years 1 months ago
Reasoning About Indefinite Actions
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
L. Thorne McCarty, Ron van der Meyden