Change search
ReferencesLink to record
Permanent link

Direct link
Symbolic negotiation in linear logic with coalition formation
Norwegian University of Science and Technology, Trondheim, Norway .
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture (Closed 20120101), Software and Computer Systems, SCS (Closed 20120101).ORCID iD: 0000-0002-4722-0823
2006 (English)In: 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Proceedings / [ed] Nishida, T; Klusch, M; Sycara, K; Yokoo, M; Liu, J; Wah, B; Cheung, W; Cheung, YM, IEEE Computer Society, 2006, 298-305 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE Computer Society, 2006. 298-305 p.
Keyword [en]
partial deduction
National Category
Computer Science
URN: urn:nbn:se:kth:diva-42423DOI: 10.1109/IAT.2006.116ISI: 000245650000047ScopusID: 2-s2.0-38949129091ISBN: 978-0-7695-2748-2OAI: diva2:447161
2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT'06; Hong Kong; China; 18 December 2006 through 22 December 2006

QC 20111011

Available from: 2011-10-11 Created: 2011-10-10 Last updated: 2014-11-12Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Küngas, PeepMatskin, Mihhail
By organisation
Software and Computer Systems, SCS (Closed 20120101)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 9 hits
ReferencesLink to record
Permanent link

Direct link