Symbolic Negotiation in Linear Logic with Coalition Formation.
Peep KüngasMihhail MatskinPublished in: IAT (2006)
Keyphrases
- coalition formation
- linear logic
- automated negotiation
- multi agent systems
- multi agent
- agent negotiation
- autonomous agents
- multiagent systems
- fixed point
- negotiation strategies
- logical framework
- sequent calculus
- desirable properties
- logic programming
- rational agents
- agent societies
- coalition structure generation
- coalitional games
- solution concepts
- high level
- special case
- decision making
- negotiation process
- dynamical systems
- cooperative