14th International Workshop on Computational Logic in Multi-Agent Systems

The purpose of the CLIMA workshops 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 information about the series os CLIMA workshops, including its previous editions and publications, can be found here.

The 14th edition of CLIMA will take place in Corunna, Spain, between the 16th and 18th of September 2013, and will be co-located with LPNMR'13. The Call for Papers, including the list of relevant topics, can be found here.

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

• Argumentation Technologies
• Norms and Normative Multi-Agent Systems

More information about the Special Sessions can be found here.

Invited Talks

• Mind the Gap: Abstract vs. Applied Argumentation
  Pietro Baroni, Università degli Studi di Brescia, Italy
  
  
• Towards Reactive Multi-Context Systems
  Gerhard Brewka, University of Leipzig, Germany
  
  
• Intuition Pumps for Deontic Logic
  Sven Ove Hansson, Royal Institute of Technology, Sweden
  
  
• Combing Ontologies in Settings with Multiple Agents
  George Vouros, University of Piraeus, Greece
  

Publications

Proceedings:As with previous editions, the proceeding will be published by Springer in the Lecture Notes in Computer Science, Series. The proceedings will be published in time for the workshop.

Special Issues: After the workshop, authors of seleted papers will be invited to extend and re-submittheir work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation, and in a CLIMASpecial Issue of Argument & Computation.

Participation

At least one author of each accepted paper is expected to attend CLIMA XIV.

All enquiries to climaxiv2013@easychair.org

 

A Coruña

Galicia

Spain