Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings: 6245 (Lecture Notes in Artificial Intelligence) - Softcover

Softcover

ISBN 10: 3642149766 ISBN 13: 9783642149764

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2010

Über diesen Titel

Reseña del editor

These are the proceedings of the 11th International Workshop on Compu- tional Logicin Multi-Agent Systems (CLIMA-XI), held during August 16–17,in Lisbon, collocated with the 19th European Conference on Arti?cial Intelligence (ECAI-2010). Multi-agentsystemsarecommunitiesofproblem-solvingentitiesthatcanp- ceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many techno- giesandconceptsfromarti?cialintelligenceandotherareasofcomputingaswell 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,electroniccommerceandtrade,etc.Computationallogicprovidesawe- de?ned, general, and rigorousframeworkfor studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration among, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for li- ing speci?cations to implementations, and for the veri?cation of properties of individual agents, multi-agent systems and their implementations. The purpose of the CLIMA workshops 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. Former CLIMA editions have been conducted in conjunction with other - jor Computational Logic and AI events such as CL in 2000, ICLP in 2001 and 2007, FLoC in 2002, LPNMR and AI-Math in 2004, JELIA in 2004 and 2008 and MATES in 2009. In 2005 CLIMA was not associated with any major event.

Reseña del editor

This book constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, 4 invited talks are presented. The purpose of the CLIMA workshops 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. This volume features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning.

Details zur Ausgabe

• Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Erscheinungsdatum: 2010
• ISBN 10: 3642149766
• ISBN 13: 9783642149764
• Einband: Tapa blanda
• Sprache: Englisch
• Auflage: 1
• Anzahl der Seiten: 257
• Herausgeber: Dix Jürgen, Leite Joao, Governatori Guido, Jamroga Wojtek