Loading [a11y]/accessibility-menu.js
A framework to specify and evaluate coordination in MAS with logic | IEEE Conference Publication | IEEE Xplore

A framework to specify and evaluate coordination in MAS with logic


Abstract:

We present a framework to specify and evaluate the coordinations in MAS. The framework draws on a MAS logic incorporating a number of temporal and dynamic operators, and ...Show More

Abstract:

We present a framework to specify and evaluate the coordinations in MAS. The framework draws on a MAS logic incorporating a number of temporal and dynamic operators, and has some important characteristics such as high-level, abstract, complete, and general-purpose. Based on the framework, the request/service cooperation models are studied and analyzed.
Date of Conference: 24-24 September 2004
Date Added to IEEE Xplore: 18 October 2004
Print ISBN:0-7695-2101-0
Conference Location: Beijing, China

Contact IEEE to Subscribe

References

References is not available for this document.