Verification of Protocols for Automated Negotiation.
Shamimabi PauroballyJim CunninghamPublished in: ECAI (2002)
Keyphrases
- automated negotiation
- negotiating agents
- electronic commerce
- software agents
- cryptographic protocols
- coalition formation
- model checking
- negotiation protocol
- agent mediated
- agent technology
- agent systems
- negotiation strategies
- protocol specification
- higher level
- special case
- communication protocols
- multi agent systems
- negotiation process
- computational complexity
- artificial intelligence
- machine learning