3729 search results - page 1 / 746 » On Formal Modeling of Agent Computations |
FAABS
2000
Springer
13 years 8 months ago
2000
Springer
LOGCOM
1998
13 years 4 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
APWEB
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
CLIMA
2004
13 years 6 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
JAIR
2008
13 years 4 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....