Sciweavers

2088 search results - page 29 / 418
» The SPARK Agent Framework
Sort
View
CLIMA
2004
15 years 3 months ago
An Abductive Framework for Information Exchange in Multi-agent Systems
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo...
NOMS
2000
IEEE
112views Communications» more  NOMS 2000»
15 years 6 months ago
Integration of mobile agents with SNMP: why and how
Mobile agents have been proposed as a solution to the problem of the management of increasingly heterogeneous networks. However, the proposed solutions often ignore the value of l...
Bernard Pagurek, Y. Wang, Tony White
ATAL
2008
Springer
15 years 3 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
LADS
2009
Springer
15 years 6 months ago
Detecting Exceptions in Commitment Protocols: Discovering Hidden States
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors...
Özgür Kafali, Pinar Yolum
ATAL
2009
Springer
15 years 8 months ago
Constrained coalitional games: formal framework, properties, and complexity results
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, F...