Sciweavers

307 search results - page 29 / 62
» Formalizing Communication Protocols for Multiagent Systems
Sort
View
116
Voted
ATAL
2010
Springer
15 years 4 months ago
To teach or not to teach?: decision making under uncertainty in ad hoc teams
In typical multiagent teamwork settings, the teammates are either programmed together, or are otherwise provided with standard communication languages and coordination protocols. ...
Peter Stone, Sarit Kraus
SIROCCO
2004
15 years 4 months ago
Long-Lived Rambo: Trading Knowledge for Communication
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
Chryssis Georgiou, Peter M. Musial, Alexander A. S...
COMPSAC
2003
IEEE
15 years 8 months ago
A Multi-Agent Software Environment for Testing Web-based Applications
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...
Qingning Huo, Hong Zhu, Sue Greenwood
ATAL
2006
Springer
15 years 7 months ago
Modelling the links between social commitments and individual intentions
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
Philippe Pasquier, Brahim Chaib-draa
CLIMA
2011
14 years 3 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...