16-17 Sep 2013
Corunna, Spain
First Call for Papers Special Session on Norms and Normative Multi-Agent Systems CLIMA XIV - 14th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXII/ Corunna, Spain, September 16-17, 2013. Co-located with LPNMR'13. Submission deadline: June 10th (abstracts June 6th). 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. ++++++++++++++++++++++++++++++++++++++++++++++++++++ Norms are pervasive in everyday life and influence the conduct of the entities subject to them. One of the main functions of norms is to regulate the behaviour and relationships of agents. Norms have been proposed in multi-agent systems and computer science to deal with coordination issues, to deal with security issues of multi-agent systems, to model legal issues in electronic institutions and electronic commerce, to model multi-agent organizations, etc. We invite submissions related to (but not limited to) one or more of the following topics on agents and norms: * logical foundations of normative systems * computational models of normative systems * computational models of normative multi-agent systems * formal models of norm dynamics * deontic logic * agent autonomy and norms * agent deliberation and norms * normative agent types * programming normative multi-agent systems Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and the session on Norms and Normative Multi-Agent Systems, this edition will feature a special session on Argumentation Technologies. 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. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the 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. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXIV/ Important dates: * Submission: June 6th (Abstracts) / June 10th (Papers) * Notification: June 24th * Camera Ready: July 4th Norms and Normative Multi-Agent Systems Special Session Organiser: * Leon van der Torre, Univ. of Luxembourg, Luxembourg Argumentation Technologies Special Session Organisers: * Paolo Torroni, University of Bologna, Italy * Stefan Woltran, Vienna University of Technology, Austria CLIMA XIV Chairs: * Joo Leite, New University of Lisbon, Portugal * Tran Cao Son, New Mexico State University, NM, USA Please send all enquiries about CLIMA XIV to climaxiv2013@easychair.org