1614 search results - page 79 / 323 » Planning as Temporal Reasoning |
152
click to vote
AMAI
2000
Springer
15 years 10 months ago
2000
Springer
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
172
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
148
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper addresses the problem of plan recognition for multi-agent teams. Complex multi-agent tasks typically require dynamic teams where the team membership changes over time. ...
170
click to vote
AIPS
2003
15 years 7 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
207
click to vote
ENTCS
2007
15 years 6 months ago
2007
We lay down plans to study how Inductive Reasoning Ability (IRA) affects the analyzing and understanding of Program Visualization (PV) systems. Current PV systems do not take int...