๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation

โœ Scribed by Frances M. T. Brazier; Frank Cornelissen; Rune Gustavsson; Catholijn M. Jonker; Olle Lindeberg; Bianca Polak; Jan Treur

Book ID
111571103
Publisher
Springer US
Year
2004
Tongue
English
Weight
172 KB
Volume
20
Category
Article
ISSN
0924-669X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A multi-agent system for analyzing the e
A multi-agent system for analyzing the effect of information on prediction markets
โœ Janyl Jumadinova; Prithviraj Dasgupta ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 311 KB ๐Ÿ‘ 2 views

Prediction markets have been shown to be a useful tool for forecasting the outcome of future events by aggregating public opinion about the event's outcome. In this paper, we investigate an important aspect of prediction markets-the effect of different information-related parameters on the behavior

A computational study on design and perf
A computational study on design and performance issues of multi-agent intelligent systems for dynamic scheduling environments
โœ P.C. Pendharkar ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 232 KB

Multi-Agent Intelligent Systems (MAIS) are loosely-coupled network of problem solving systems that, whenever needed, work together with each other to dynamically solve problems that none of the system can individually solve. Among the advantages of the MAIS, when compared to the centralized systems,

[IEEE Comput. Soc Hawaii International C
[IEEE Comput. Soc Hawaii International Conference on System Sciences. HICSS-34 - Maui, HI, USA (3-6 Jan. 2001)] Proceedings of the 34th Annual Hawaii International Conference on System Sciences - A multi-agent based negotiation support system for cost allocation of cross-border transmission
โœ Ping Wei, ; Yonghe Yan, ; Yixiu Ni, ; Yen, J.; Wu, F.F. ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› IEEE Comput. Soc ๐ŸŒ English โš– 151 KB

Annotation Contains Abstracts Of 440 Papers Presented At The January 2001 Conference In Nine Major Tracks. The Session Topics Are Collaboration Systems And Technology, Complex Systems, Decision Technologies For Management, Digital Documents, Emerging Technologies, Information Technology In Health Ca