A Formal Environment for Describing Negotiation Capabilities.

Alberto de la Encina Mercedes Hidalgo-Herrero Natalia López

Published in: IEEE ICCI (2007)

Keyphrases

real time
requirements specification
environmental conditions
multi agent systems
mobile robot
dynamic environments
neural network
cloud computing
complex environments
formal methods
electronic marketplaces
automated negotiation
reactive systems