Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Symbolic Negotiation: Partial Deduction for Linear Logic with Coalition Formation
KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.
KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikation: Infrastruktur och tjänster, Programvaru- och datorsystem, SCS.ORCID-id: 0000-0002-4722-0823
2008 (Engelska)Ingår i: Web Intelligence and Agent Systems, ISSN 1570-1263, E-ISSN 1875-9289, Vol. 6, nr 2, s. 193-215Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
2008. Vol. 6, nr 2, s. 193-215
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:kth:diva-81061DOI: 10.3233/WIA-2008-0137Scopus ID: 2-s2.0-48249151801OAI: oai:DiVA.org:kth-81061DiVA, id: diva2:497055
Anmärkning
QC 20120302Tillgänglig från: 2012-02-10 Skapad: 2012-02-10 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Matskin, Mihhail

Sök vidare i DiVA

Av författaren/redaktören
Kungas, PeepMatskin, Mihhail
Av organisationen
Programvaru- och datorsystem, SCS
I samma tidskrift
Web Intelligence and Agent Systems
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 33 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf