CLIMA VI: Sixth International Workshop on Computational Logic in Multi-Agent Systems

Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environments 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. Although commonly implemented by means of imperative languages, mainly for reasons of efficiency, agent-related concepts have recently increased their influence in the research and development of Computational Logic based systems. Computational Logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for individual agents and multi-agent systems, for attending implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. In particular, the purposes of this CLIMA are: 1. to present state-of-the-art research, based on CL, aimed at representing, programming and reasoning about agents and MAS in a formal way, 2. to further promote CL in MAS and disseminate recent advances in the area to researchers and students, and 3. to discuss and confront techniques and approaches to CL/MAS-based problem modelling and solving in an informal and inspiring environment. To this end, the organization of CLIMA VI will provide scholarships to students who wish to attend, and will offer a number of tutorials on several aspects of CL-based MAS modelling and programming. CLIMA VI will also host the First CLIMA Contest, organized by Mehdi Dastani and Jürgen Dix.