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: Partial Deduction for Linear Logic with Coalition Formation
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.
KTH, School of Information and Communication Technology (ICT), Communication: Services and Infrastucture, Software and Computer Systems, SCS.ORCID iD: 0000-0002-4722-0823
2008 (English)In: Web Intelligence and Agent Systems, ISSN 1570-1263, E-ISSN 1875-9289, Vol. 6, no 2, 193-215 p.Article in journal (Refereed) Published
Abstract [en]

In this paper we present a formalism for symbolic negotiation while regarding symbolic negotiation as cooperative problem solving (CPS). CPS is based on symbolic reasoning and is extended with negotiation and coalition formation rules. We formalize partial deduction for intuitionistic linear logic and use it as a foundation for formalization of symbolic negotiation. We also formalize the process of coalition formation and analyse its effect to symbolic negotiation and CPS. Soundness and compleness proofs for the proposed formalisms are given.

Place, publisher, year, edition, pages
2008. Vol. 6, no 2, 193-215 p.
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-81061DOI: 10.3233/WIA-2008-0137Scopus ID: 2-s2.0-48249151801OAI: oai:DiVA.org:kth-81061DiVA: diva2:497055
Note
QC 20120302Available from: 2012-02-10 Created: 2012-02-10 Last updated: 2017-12-07Bibliographically 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
Kungas, PeepMatskin, Mihhail
By organisation
Software and Computer Systems, SCS
In the same journal
Web Intelligence and Agent Systems
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 24 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