posted by user: walkmanyi || 6682 views || tracked by 27 users: [display]

CLIMA XII 2011 : 12th International Workshop on Computational Logic in Multi-Agent Systems

FacebookTwitterLinkedInGoogle

Link: http://centria.di.fct.unl.pt/events/climaXII/
 
When Jul 17, 2011 - Jul 18, 2011
Where Barcelona, Spain
Abstract Registration Due Apr 4, 2011
Submission Deadline Apr 8, 2011
Notification Due May 4, 2011
Final Version Due May 16, 2011
Categories    artificial intelligence   multi-agent systems   computational logic
 

Call For Papers

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

Preliminary Call for Papers

CLIMA XII
12th International Workshop on
Computational Logic in Multi-Agent Systems

with special sessions on:
* Norms and Normative Multi-Agent Systems.
* Logics for Games and Social Choice.

http://centria.di.fct.unl.pt/events/climaXII/

Barcelona, Spain, July 17-18, 2011.

Affiliated with IJCAI'11.
Submission deadline: April 4/8th.

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.

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

The purpose of the CLIMA Workshop Series is to provide a forum for
discussing techniques, based on computational logic, for representing,
programming and reasoning about agents and multi-agent systems in a
formal way.

Following the previous ten, very successful, editions, the 12th CLIMA
will be affiliated with IJCAI'11 and will take place in Barcelona, Spain,
on the 17th and 18th of July 2011.

In addition to CLIMA's regular topics and sessions, this edition will
feature two special sessions:

* Norms and Normative Multi-Agent Systems
* Logics for Games and Social Choice

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/climaXII/

Important dates:
* Submission: April 4th (Abstracts) / April 8th (Papers)
* Notification: May 4th
* Camera Ready: May 16th

CLIMA XII Chairs:
* João Leite, New University of Lisbon, Portugal
* Paolo Torroni, University of Bologna, Italy

Special Session Organisers:

Norms and Normative Multi-Agent Systems:
* Guido Boella, University of Turin, Italy
* Leon van der Torre, Univ. of Luxembourg, Luxembourg

Logics for Games and Social Choice:
* Thomas Ågotnes, University of Bergen, Norway

Please send all enquiries about CLIMA XII to clima2...@easychair.org.

Related Resources

COLING 2018   The 27th International Conference on Computational Linguistics (COLING 2018)
IJCAI 2018   International Joint Conferences on Artificial Intelligence Organization
ICANN 2018   27th International Conference on Artificial Neural Networks
ECCV 2018   European Conference on Computer Vision
PAAMS 2018   PAAMS 2018 - 16th International Conference on Practical Applications of Agents and Multi-Agent Systems
ICML 2018   The 35th International Conference on Machine Learning
ICAART 2018   10th International Conference on Agents and Artificial Intelligence
ACL 2018   56th Annual Meeting of the Association for Computational Linguistics
MAS&S 2018   12th International Workshop on Multi-Agent Systems and Simulation
CMSB 2018   16th International Conference on Computational Methods in Systems Biology