Modelling Multilateral Negotiation in Linear Logic.
Daniele PorelloUlle EndrissPublished in: ECAI (2010)
Keyphrases
- linear logic
- automated negotiation
- sequent calculus
- cooperative
- intuitionistic logic
- desirable properties
- fixed point
- multi agent
- logic programming
- software agents
- proof theoretic
- logical framework
- multi agent systems
- proof search
- cut elimination
- wide class
- programming language
- higher order
- software engineering
- pairwise