5216 search results - page 38 / 1044 » Planning as Model Checking |
CAV
2001
Springer
14 years 3 months ago
2001
Springer
CAV
1999
Springer
14 years 3 months ago
1999
Springer
ENTCS
2002
13 years 10 months ago
2002
AGENTS
1997
Springer
14 years 3 months ago
1997
Springer
We address in this paper a problem of autonomous agents performing in a common environment where each agent has its goal to achieve before a given deadline. Agents must be able to...
IJCAI
1993
14 years 8 days ago
1993
In multiagent planning, an agent sometimes needs to collaborate with others to construct complex plans, or to accomplish large organizational tasks which it cannot do alone. Since...