10462 search results - page 416 / 2093 » Towards a |
134
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
169
Voted
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
Traditional goal-oriented approaches to building intelligent agents only consider absolute satisfaction of goals. However, in continuous domains there may be many instances in whi...
187
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
Despite the success of the BDI approach to agent teamwork, initial role allocation (i.e. deciding which agents to allocate to key roles in the team) and role reallocation upon fai...
142
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
Negotiation is essential in settings where agents have conflicting interests and a desire to cooperate. In many approaches, agents are assumed to have pre-set, fixed preferences...