CLIMA XI - Computational Logic in Multi-Agent Systems

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 11th 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
specification and verification of formal properties of agent systems

Formatting and submision instructions can be found here.

Lisbon, Portugal