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.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 45,00 gastos de envío desde Alemania a Estados Unidos de America
Destinos, gastos y plazos de envíoEUR 3,60 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoLibrería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020219452
Cantidad disponible: 1 disponibles
Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America
Paperback. Condición: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783642149764
Cantidad disponible: 1 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 2010 edition. 257 pages. 9.21x6.06x0.47 inches. In Stock. Nº de ref. del artículo: x-3642149766
Cantidad disponible: 2 disponibles
Librería: Buchpark, Trebbin, Alemania
Condición: Sehr gut. Zustand: Sehr gut - Neubindung, Buchecken und -kanten leicht angestoßen | Seiten: 255 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 8541445/12
Cantidad disponible: 1 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. Neuware - 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. Nº de ref. del artículo: 9783642149764
Cantidad disponible: 2 disponibles
Librería: moluna, Greven, Alemania
Condición: New. fast-track conference proceedingsThis 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. Nº de ref. del artículo: 5050683
Cantidad disponible: 3 disponibles