18-19 Aug 2014
Prague, Czech Republic
Special Session On
*** Logics For Agreement Technologies ***
CLIMA XV
15th International Workshop on
Computational Logic in Multi-Agent Systems
http://www-sop.inria.fr/members/Serena.Villata/climaXV.html
Prague, Czech Republic, August 18-19, 2014
Affiliated with ECAI 2014
Submission deadline: 11 May 2014
Call for Papers
-------------------------------------------------------------------
Proceedings to be published as a LNCS/LNAI volume (available at the
workshop).
Selected and extended papers will also be published in a Special Issue
of the Journal of Logic and Computation.
-------------------------------------------------------------------
INTRODUCTION
-------------------------------------------------------------------
A growing number of computer systems are based on software agents,
which act on behalf of humans. These agents are becoming increasingly
responsible for complex tasks delegated to them, interacting with each
other in sophisticated ways so as to forge agreements in the interest
of human users. The CLIMA XV Special Session on Logics for Agreement
Technologies aims at expanding the state-of-the-art on logic-based
approaches and technologies to enable different aspects of many-party
agreements and to support the lifecycle of such systems.
We invite submissions on logic-based approaches, computational models,
methodologies and frameworks for software agents and multi-agent
systems, addressing (but not limited to) the following topics:
* Negotiation
* Formal argumentation
* Software agent organisations
* Electronic institutions
* Trust and reputation
* Norms and normative systems
* Social computing
-------------------------------------------------------------------
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-sop.inria.fr/members/Serena.Villata/climaXVsubs.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.
Selected and extended papers will be published in a Special Issue of
the Journal of Logic and Computation.
-------------------------------------------------------------------
IMPORTANT DATES
-------------------------------------------------------------------
* Paper Submission: 11 May 2014
* Notification: 9 June 2014
* Camera Ready: 16 June 2014
* Workshop: 18-19 August 2014
-------------------------------------------------------------------
Special Session Organiser:
* Wamberto Vasconcelos, University of Aberdeen, UK
-------------------------------------------------------------------