CFP CLIMA: Special session on Logics for Multi-Agent Programming

[Mehdi Dastani]

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

                 Special session on
    *** Logics for Multi-Agent Programming ***

                    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

The development of multi-agent systems requires programming
languages to implement individual agents, the organisation in
which they operate, and the environment with which they interact.
Logic plays a fundamental role in the multi-agent programming
research field. Executable logic specifications and logic
programming can be used to implement multi-agent systems. Logic
reasoning engines can be used in the interpreters of multi-agent
programming languages to reason about components of multi-agent
systems such as an agent's goals and beliefs, the norms and
commitments within the agents' organisation, or the state of the
agents' environment. Finally, logic can be used to specify the
syntax and semantics of multi-agent programming languages, or to
verify and reason about multi-agent programs.

This special session on Logics for multi-agent programming
invites contributions focusing on the use of logic in
multi-agent programming research field.

- Logical foundation of multi-agent programming
- Logical semantics for multi-agent programming languages
- Logics for specification and verification of multi-agent programs
- Knowledge representation and reasoning for multi-agent programming

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 Multi-Agent Programming 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:
* Mehdi Dastani, Utrecht University, The Netherlands

In case of questions, please do not hesitate to contact us
at m.m.dastani at uu.nl (enquiries particularly related to the
special session) or clima13 at easychair.org (general CLIMA
enquiries).


-- 
Mehdi Dastani
Intelligent Systems Group
Utrecht University
P.O.Box 80.089
3508 TB Utrecht
The Netherlands
Tel: +31 - 30 - 253 3599
Fax: +31 - 30 - 251 3791
URL:http://www.cs.uu.nl/~mehdi