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

Author： Brazier Frances M.T. Cornelissen Frank Gustavsson Rune Jonker Catholijn M. Lindeberg Olle Polak Bianca Treur Jan

Publisher： Springer Publishing Company

ISSN： 0924-669X

Source： Applied Intelligence, Vol.20, Iss.2, 2004-03, pp. : 95-117

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A multi-agent system performing one-to-many negotiation for load balancing of electricity use

By Brazier F.M.T. Cornelissen F. Gustavsson R. Jonker C.M. Lindeberg O. Polak B. Treur J.

Electronic Commerce Research and Applications, Vol. 1, Iss. 2, 2002-06 ,pp. : 208-224

Elsevier

Access to resources Recommend Favorite

NEGOTIATION IN A MULTI-AGENT SYSTEM FOR CONSTRUCTION CLAIMS NEGOTIATION

By Ren Z. Anumba C. J. Ugwu O. O.

Applied Artificial Intelligence, Vol. 16, Iss. 5, 2002-05 ,pp. : 359-394

Taylor & Francis Ltd

Access to resources Recommend Favorite

Negotiation within a multi-agent system for the collaborative design of light industrial buildings

By Anumba C.J. Ren Z. Thorpe A. Ugwu O.O. Newnham L.

Advances in Engineering Software, Vol. 34, Iss. 7, 2003-07 ,pp. : 389-401

Elsevier

Access to resources Recommend Favorite

An Extended Multi-Agent Negotiation Protocol

By Aknine Samir

Autonomous Agents and Multi-Agent Systems, Vol. 8, Iss. 1, 2004-01 ,pp. : 5-45

Springer Publishing Company

Access to resources Recommend Favorite

Automated analysis of compositional multi-agent systems

By Sharpanskykh Alexei

International Journal of Agent-Oriented Software Engineering, Vol. 4, Iss. 2, 2010-04 ,pp. : 174-221

Inderscience Publishers

Access to resources Recommend Favorite