AT 2016 - Fourth International Conference on Agreement Technologies (AT-2016)

Agreement Technologies-AT-refer to computer systems in which autonomous software agents negotiate with one another, typically on behalf of humans, in order to come to mutually acceptable agreements. An agent may choose whether to fulfil an agreement or not, and it should fulfil it when there is an obligation to do so derived from the standing agreements. Autonomy, interaction, mobility and openness are key concepts studied within the AT approach. Semantic alignment, negotiation, argumentation, virtual organisations, learning, real time, and several other technologies are part of the sandbox to define, specify and verify such systems.
The International Conference Series on Agreement Technologies is an interdisciplinary forum that brings together researchers and practitioners working on the various topics comprising this emergent and vibrant field. It provides an avenue to discuss and exchange new ideas and techniques for the design, implementation and verification of next generation open distributed systems centered on the notion of agreement among computational agents. AT-2016 will be held on December 15-16, 2016, in Valencia (Spain), co-located with EUMAS-16.