CLIMA XIV - Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems
14th International Workshop
Corunna, Spain, September 16-18, 2013

Call for Papers

Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some.

Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various tasks by individual agents, as well as interaction amongst agents in multi-agent systems, for implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.

The purpose of the CLIMA Workshop Series, now in its 14th edition, 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.

Topics of Interest include:

  • logical foundations of multi-agent systems
  • knowledge and belief representation and updates in multi-agent systems
  • agent and multi-agent hypothetical reasoning and learning
  • extensions of logic programming for multi-agent systems
  • non-monotonic reasoning in multi-agent systems
  • theory and practice of argumentation for agent reasoning and interaction
  • operational semantics and execution agent models
  • model checking algorithms, tools, and applications for multi-agent logics
  • semantics of interaction and agent communication languages
  • distributed constraint satisfaction in multi-agent systems
  • temporal reasoning for multi-agent systems
  • modal logic approaches to multi-agent systems
  • logic based programming languages for multi-agent systems
  • distributed theorem proving for multi-agent systems
  • logic based implementations of multi-agent systems
  • decision theory for multi-agent systems
  • complexity of reasoning in  multi-agent systems
  • specification and verification of formal properties of agent systems

Formatting and submision instructions can be found here.