502 search results - page 3 / 101 » Development and Application of a Formal Agent Framework |
AI
2007
Springer
13 years 6 months ago
2007
Springer
We consider a multi-agent system where each agent is equipped with a Bayesian network, and present an open framework for the agents to agree on a possible consensus network. The f...
AAMAS
2004
Springer
13 years 5 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
SSR
2001
13 years 7 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
DSRT
2005
IEEE
13 years 11 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
ARGMAS
2004
Springer
13 years 9 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...