Sciweavers

1614 search results - page 59 / 323
» Planning as Temporal Reasoning
Sort
View
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 11 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
IEAAIE
2005
Springer
15 years 11 months ago
A Meta-level Architecture for Strategic Reasoning in Naval Planning
Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul ...
CLIMA
2008
15 years 7 months ago
Bounded-Resource Reasoning as (Strong or Classical) Planning
Alexandre Albore, Natasha Alechina, Piergiorgio Be...
IJCAI
1997
15 years 7 months ago
Reasoning about Plans
Witold Lukaszewicz, Ewa Madalinska-Bugaj