CALL FOR PAPERS
13th International Workshop on Computational Logic in Multi-Agent Systems [CLIMA XIII]
Special sessions on:
* Logics for Multi-Agent Programming
* Logics for Agreement Technologies
http://www.csc.liv.ac.uk/~michael/clima2012.htm
Affiliated with ECAI 2012
Montpellier, France, August 27-28, 2012
Submission deadline: 28th May
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. (more…)
RAIL 