Search Sciweavers | Sciweavers

1614 search results - page 59 / 323

» Planning as Temporal Reasoning

150

click to vote

CDC
2009
IEEE

160views Control Systems» more CDC 2009»

Receding horizon temporal logic planning for dynamical systems

15 years 11 months ago

Download www.cds.caltech.edu

— 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...

claim paper

Read More »

click to vote

IEAAIE
2005
Springer

93views Artificial Intelligence» more IEAAIE 2005»

A Meta-level Architecture for Strategic Reasoning in Naval Planning

15 years 11 months ago

Download www.few.vu.nl

Mark Hoogendoorn, Catholijn M. Jonker, Peter-Paul ...

claim paper

Read More »

119

click to vote

CLIMA
2008

87views Intelligent Agents» more CLIMA 2008»

Bounded-Resource Reasoning as (Strong or Classical) Planning

15 years 7 months ago

Download www.upf.edu

Alexandre Albore, Natasha Alechina, Piergiorgio Be...

claim paper

Read More »

119

click to vote

AAAI
1998

112views Intelligent Agents» more AAAI 1998»

Controlling Communication in Distributed Planning Using Irrelevance Reasoning

15 years 7 months ago

Download www.aaai.org

Michael Wolverton, Marie desJardins

claim paper

Read More »

107

click to vote

IJCAI
1997

73views Artificial Intelligence» more IJCAI 1997»

Reasoning about Plans

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers