Symbolic Negotiation in Linear Logic with Coalition Formation

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]...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kungas, Peep, Matskin, Mihhail
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Adaptive systems Applied computing > Operations research > Decision analysis Artificial intelligence Computer science Computing methodologies > Artificial intelligence > Distributed artificial intelligence > Cooperation and coordination Computing methodologies > Artificial intelligence > Distributed artificial intelligence > Intelligent agents Humans Information science Information systems > Information systems applications > Decision support systems Intelligent agent Logic Multiagent systems partial deduction Problem-solving
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!