1879 search results - page 49 / 376 » Integrating motivations with planning |
ICRA
1999
IEEE
15 years 4 months ago
1999
IEEE
Automated planning and scheduling, including automated path planning, has been integrated with an Internet-based distributed operations system for planetary rover operations. The ...
123
click to vote
FROCOS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
100
click to vote
AAAI
1990
15 years 1 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
AIPS
1994
15 years 1 months ago
1994
Thispaperdescribesthe use of superveniencein integrating planningand reaction in complex,dynamicenvironments. ienceis a formof abstractionwithaffinities both action in AIplannings...