531 search results - page 15 / 107 » Using Abstraction for Planning in Sokoban |
AIIA
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
IJRR
2011
13 years 2 months ago
2011
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...
UM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
MATES
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...
JAR
1998
13 years 7 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...