|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 54 van 65 gevonden artikelen
| Titel: |
Symbolic negotiation: Partial deduction for linear logic with coalition formation |
| Auteur: |
Küngas, Peep Matskin, Mihhail |
| Verschenen in: |
Web intelligence and agent systems |
| Paginering: | Jaargang 6 (2008) nr. 2 pagina's 193-215 |
| Jaar: |
2008-07-15 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 54 van 65 gevonden artikelen
| << vorige | volgende >> |