Sciweavers

2398 search results - page 39 / 480
» On modelling agent systems with Erlang
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer
AOIS
2003
15 years 7 months ago
Trustworthy Service Caching: Cooperative Search in P2P Information Systems
We are developing an approach for P2P information systems, where the peers are modeled as autonomous agents. Agents provide services or give referrals to one another to help find...
Yathiraj B. Udupi, Pinar Yolum, Munindar P. Singh
ATAL
2009
Springer
16 years 17 days ago
Pragmatic-strategic reputation-based decisions in BDI agents
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
Isaac Pinyol, Jordi Sabater-Mir
ATAL
2008
Springer
15 years 8 months ago
An adaptive agent model for self-organizing MAS
Self-organizing multi-agent systems (MAS) use different mechanisms to mimic the adaptation exhibited by complex systems situated in unpredictable and dynamic environments. These m...
Candelaria Sansores, Juan Pavón
MMAS
2004
Springer
15 years 11 months ago
Agent Server Technology for Managing Millions of Agents
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
Gaku Yamamoto