4595 search results - page 234 / 919 » Reasoning about Plans |
240
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
207
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
There are two major approaches to activity coordination in multiagent systems. First, by endowing the agents with the capability to jointly plan, that is, to jointly generate hypot...
197
click to vote
KER
2007
15 years 7 months ago
2007
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...
244
click to vote
ISDA
2010
IEEE
15 years 5 months ago
2010
IEEE
Research in learning and planning in real-time strategy (RTS) games is very interesting in several industries such as military industry, robotics, and most importantly game industr...
191
click to vote
CATS
2007
15 years 8 months ago
2007
This paper provides a theoretical basis for performing time limited planning within Belief-Desire-Intention (BDI) agents. The BDI agent architecture is recognised as one of the mo...