Sciweavers

307 search results - page 29 / 62
» Formalizing Communication Protocols for Multiagent Systems
Sort
View
ATAL
2010
Springer
14 years 11 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
76
Voted
SIROCCO
2004
14 years 11 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 3 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
97
Voted
ATAL
2006
Springer
15 years 1 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
13 years 10 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...