3729 search results - page 1 / 746 » On Formal Modeling of Agent Computations |
FAABS
2000
Springer
14 years 2 months ago
2000
Springer
LOGCOM
1998
13 years 10 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
14 years 4 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
14 years 7 days 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 10 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....