loading...
A Framework to Specify and Evaluate Coordination in MAS with Logic
Beijing, China September 20-September 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IAT.2004.13429622004 IEEE/WIC/ACM International Confe ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Xinjun Mao, Ji Wang, Eric Yu, "A Framework to Specify and Evaluate Coordination in MAS with Logic," Intelligent Agent Technology, IEEE / WIC / ACM International Conference on, pp. 325-328, 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/IAT.2004.1342962,
author = {Xinjun Mao and Ji Wang and Eric Yu},
title = {A Framework to Specify and Evaluate Coordination in MAS with Logic},
journal ={Intelligent Agent Technology, IEEE / WIC / ACM International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2101-0},
pages = {325-328},
doi = {http://doi.ieeecomputersociety.org/10.1109/IAT.2004.1342962},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on
TI - A Framework to Specify and Evaluate Coordination in MAS with Logic
SN - 0-7695-2101-0
SP325
EP328
A1 - Xinjun Mao,
A1 - Ji Wang,
A1 - Eric Yu,
PY - 2004
KW - null
VL - 0
JA - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on
ER -
 
Xinjun Mao, National University of Defense Technology, China
Ji Wang, National Laboratory for Parallel and Distributed Processing, Changsha, China
Eric Yu, University of Toronto, Canada
In this paper 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.
Citation:
Xinjun Mao, Ji Wang, Eric Yu, "A Framework to Specify and Evaluate Coordination in MAS with Logic," iat, pp.325-328, 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.