CLIMA 2014 - 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XV)

Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual and their joint goals. The work on such systems integrates many technologies and concepts from 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, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations.
In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organizations): logical foundations, extensions of logic programming, modal logic approaches, logic-based programming languages, non-monotonic reasoning, decision theory, hypothetical reasoning and learning, knowledge and belief representation and updates, operational semantics and execution agent models, model checking approaches using (multi-)agent logics, semantics of interaction and agent communication languages, distributed constraint satisfaction, temporal reasoning, distributed theorem proving, logic-based implementations, and specification and verification of formal properties.
In addition to CLIMA's regular topics this edition will also feature two special sessions. They will be announced shortly.
Website: www-sop.inria.fr/members/Serena.Villata/climaXV.html