27-28 Aug 2012
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Special session on
*** Logics for Agreement Technologies ***
CLIMA XIII
13th International Workshop on
Computational Logic in Multi-Agent Systems
http://www.csc.liv.ac.uk/~michael/clima2012sessions.html
Montpellier, France, August 27-28, 2012
Affiliated with ECAI 2012
Submission deadline: 28 May 2012
Call for Papers
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Proceedings: LNCS/LNAI volume (available at the workshop).
JLC Special Issue: Selected extended papers will be published
in a Special Issue of the Journal of Logic and Computation.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
INTRODUCTION
Agreement Technologies 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. Agreement Technologies is a new
approach of Distributed Artificial Intelligence for
constructing large-scale open distributed computer systems.
In particular the focus is on the interactions among agent;
specifically on aspects such as: norms, organisations,
trust, argumentation and negotiation.
We invite submissions on logics, computational models and
frameworks for multi-agents and
organisations
argumentation
negotiation
norms
trust
As well as other aspects relevant to Agreement Technology.
SUBMISSION
We welcome and encourage the submission of high quality, original
papers, which have not been accepted for publication nor are
currently under review for another journal or conference.
Papers are submitted to the special session by following the
submission instructions for CLIMA:
http://www.csc.liv.ac.uk/~michael/clima2012subs.html
The special session on Logics for Agreement Technologies is
chosen under "category" in Easychair.
PROCEEDINGS AND POST-PROCEEDINGS
LNCS Proceedings: All the accepted papers (including special
session papers) will be published by Springer as a volume in
Lecture Notes in Computer Science, and will be available in
time for the workshop.
JLC Special Issue: After the workshop, authors of selected
papers will be invited to extend and re-submit their work to
be considered for inclusion in a CLIMA Special Issue of the
Journal of Logic and Computation.
Important dates:
* Submission: May 28th
* Notification: June 16th
* Camera Ready: June 23rd
Special Session Organiser:
* Guido Governatori, NICTA. Australia
In case of questions, please do not hesitate to contact us
at guido.governatori@nicta.com.au (enquiries particularly related to the
special session) or clima13@easychair.org (general CLIMA
enquiries).
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.