Symbolic negotiation: Partial deduction for linear logic with coalition formation.
Peep KüngasMihhail MatskinPublished in: Web Intell. Agent Syst. (2008)
Keyphrases
- coalition formation
- linear logic
- partial deduction
- logic programs
- logic programming
- multi agent systems
- automated negotiation
- autonomous agents
- multi agent
- multiagent systems
- fixed point
- agent negotiation
- logical framework
- solution concepts
- desirable properties
- sequent calculus
- coalition structure generation
- rational agents
- negotiation strategies
- coalitional games
- agent societies
- knowledge base