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

Dix, Jürgen (Editor) / Leite, Joao (Editor) / Governatori, Guido (Editor) / Jamroga, Wojtek (Editor)

ISBN 10: 3642149766 / ISBN 13: 9783642149764

Verlag: Springer, 2010

Beschreibung

2010 edition. 257 pages. 9.21x6.06x0.47 inches. In Stock.

Bestandsnummer des Verkäufers x-3642149766

Bibliografische Details

• Titel: Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
• Verlag: Springer
• Erscheinungsjahr: 2010
• Sprache: Englisch
• ISBN-10: 3642149766
• ISBN-13: 9783642149764
• Einband: Paperback
• Zustand: Brand New

Über diesen Titel

Inhaltsangabe

This book constitutes the refereed 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 included in this volume were carefully reviewed and selected from 31 submissions. 
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. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning. 

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.