Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
Identifiers
URN: urn:nbn:se:kth:diva-42423DOI: 10.1109/IAT.2006.116ISI: 000245650000047Scopus ID: 2-s2.0-38949129091ISBN: 978-0-7695-2748-2 (print)OAI: oai:DiVA.org:kth-42423DiVA: diva2:447161
Conference
2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT'06; Hong Kong; China; 18 December 2006 through 22 December 2006
Note

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

Authority records BETA

Matskin, Mihhail

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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 22 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf