CLIMA 2013 - 14th International Workshop on Computational Logic and Multi-Agent Systems

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.
Topics
Relevant topics include, but are not limited to, the following:
* logical foundations of (multi-)agent systems
* extensions of logic programming for (multi-)agent systems
* modal logic approaches to (multi-)agent systems
* logic-based programming languages for (multi-)agent systems
* non-monotonic reasoning in (multi-)agent systems
* decision theory for (multi-)agent systems
* agent and multi-agent hypothetical reasoning and learning
* theory and practice of argumentation for agent reasoning and interaction
* knowledge and belief representation and updates in (multi-)agent systems
* 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
* distributed theorem proving for multi-agent systems
* logic-based implementations of (multi-)agent systems
* specification and verification of formal properties of (multi-)agent systems