3406 search results - page 155 / 682 » Modelling situations in intelligent agents |
178
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
161
click to vote
IAAI
2001
15 years 7 months ago
2001
The innovative reapplication of a multi-agent system for human-in-the-loop (HIL) simulation was a consequence of appropriate agent oriented design. The use of intelligent agents f...
129
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
159
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
158
click to vote
AP2PC
2003
Springer
15 years 11 months ago
2003
Springer
The objective of query optimizers is to select a good execution plan for a given query. In a distributed system, it is crucial for a query optimizer to have effective remote cost e...