Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

These are the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), held during July 17–18, 2011 in Barcelona, and co-located with the 22nd International Joint Conference on Artificial Intelligence. Multi-agent systems are systems of interacting autonomous agents or components that can perceive and act upon their environment to achieve their individual goals as well as joint goals. Research 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 mention 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 workshops is to provide a forum for discussing techniques, based on computational logic, and for representing, programming and reasoning about agents and multi-agent systems in a formal way.