loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06)
Symbolic Negotiation in Linear Logic with Coalition Formation
Hong Kong, China
December 18-December 22
ISBN: 0-7695-2748-5
ASCII Text
x 
 
Peep Kungas, Mihhail Matskin, "Symbolic Negotiation in Linear Logic with Coalition Formation," Intelligent Agent Technology, IEEE / WIC / ACM International Conference on, pp. 298-305, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/IAT.2006.116,
author = {Peep Kungas and Mihhail Matskin},
title = {Symbolic Negotiation in Linear Logic with Coalition Formation},
journal ={Intelligent Agent Technology, IEEE / WIC / ACM International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2748-5},
pages = {298-305},
doi = {http://doi.ieeecomputersociety.org/10.1109/IAT.2006.116},
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 - Symbolic Negotiation in Linear Logic with Coalition Formation
SN - 0-7695-2748-5
SP298
EP305
A1 - Peep Kungas,
A1 - Mihhail Matskin,
PY - 2006
KW - null
VL - 0
JA - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on
ER -
 
Peep Kungas, Norwegian University of Science and Technology, Norway
Mihhail Matskin, Royal Institute of Technology IMIT/LECS, Sweden
In this paper we present a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is extended with negotiation-specific rules. The underlying CPS formalism based on linear logic was previously presented in [7]. Here we extend the formalism with symbolic negotiation and coalition formation rules. Moreover, we position symbolic negotiation regarding other distributed problem solving mechanisms. Although there exist currently several formalisms for symbolic negotiation, none of them seems to involve coalition formation.
Citation:
Peep Kungas, Mihhail Matskin, "Symbolic Negotiation in Linear Logic with Coalition Formation," iat, pp.298-305, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.