[agents] CLIMA XV Special Session on Logics for Agreement Technologies

[Vasconcelos, Dr Wamberto W. M. P. D.]

Apologies for multiple copies



-------------------------------------------------------------------



                                                  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



-------------------------------------------------------------------

-- end of call --

-------------------------------------------------------------------

The University of Aberdeen is a charity registered in Scotland, No SC013683.