4595 search results - page 113 / 919 » Reasoning about Plans |
182
click to vote
IJCAI
2003
15 years 7 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...
181
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...
188
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...
148
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...