1614 search results - page 47 / 323 » Planning as Temporal Reasoning |
AUSAI
1997
Springer
15 years 6 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
74
Voted
ICCBR
2005
Springer
15 years 7 months ago
2005
Springer
125
Voted
JAIR
2006
15 years 1 months ago
2006
In this paper, we present the partitioning of mutual-exclusion (mutex) constraints in temporal planning problems and its implementation in the SGPlan4 planner. Based on the strong...
153
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
116
click to vote
BSN
2006
IEEE
15 years 8 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...