Artículos relacionados a Computational Logic in Multi-Agent Systems: 10th Internation...
Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and ... (Lecture Notes in Artificial Intelligence) - Tapa blanda
Sinopsis
Book by None
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
These are the proceedings of the 10th International Workshop on Compu- tional Logic in Multi-Agent Systems (CLIMA-X), held September 9-10, 2009 in Hamburg, co-located with MATES. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, in a formal way, programming and reasoning about agents and multi-agent systems. 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. These proceedings feature nine regularpapers (from a total of 18 papers s- mitted), as wellas one paper basedonthe invited talk givenby TranCao Son. IntheinvitedpaperbyTranCaoSon,EnricoPontelli,andNgoc-HieuNguyen, "Planning for Multi-Agents Using ASP-Prolog," the action language B is - tended to the multi-agent case. The used technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on "Expressing Prop-
Reseña del editor
This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA X, held in Hamburg,Germany, in September 2009 - co-located with MATES 2009, the 7th German conference on Multi-Agent System Technologies. The 9 full papers, presented together with one invited paper, were carefully selected and reviewed from 18 submissions. The topics covered are formal approaches and model checking, belief-desire-intention, answer set programming and (multi-)agent systems, and coordination and deliberation.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Año de publicación2010
- ISBN 10 3642168663
- ISBN 13 9783642168666
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas197
- EditorDix Jürgen, Fisher Michael, Novák Peter
EUR 57,66
EUR 45,00 gastos de envío desde Alemania a Estados Unidos de America
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 54,91
EUR 3,60 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Computational Logic in Multi-Agent Systems: 10th Internation...
Imagen de archivo
Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and ... (Lecture Notes in Computer Science, 6214)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020219913
Cantidad disponible: 1 disponibles
Imagen de archivo
Computational Logic in Multi-Agent Systems (Paperback)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642168663
ISBN 13: 9783642168666
Nuevo
Paperback
Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. This book constitutes the thoroughly refereed and revised post-conference proceedings of the 10th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA X, held in Hamburg,Germany, in September 2009 - co-located with MATES 2009, the 7th German conference on Multi-Agent System Technologies. The 9 full papers, presented together with one invited paper, were carefully selected and reviewed from 18 submissions. The topics covered are formal approaches and model checking, belief-desire-intention, answer set programming and (multi-)agent systems, and coordination and deliberation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783642168666
Cantidad disponible: 1 disponibles
Imagen de archivo
Computational Logic in Multi-agent Systems: 10th International Workshop, Clima-x 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Publicado por
Springer-Verlag New York Inc, 2011
ISBN 10: 3642168663
ISBN 13: 9783642168666
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 195 pages. 9.00x6.00x0.50 inches. In Stock. Nº de ref. del artículo: x-3642168663
Gastos de envío:
EUR 11,88
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen de archivo
Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Publicado por
Springer-Verlag GmbH, 2010
ISBN 10: 3642168663
ISBN 13: 9783642168666
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken leicht angestoßen | Seiten: 195 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 9886055/12
Gastos de envío:
EUR 45,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware - These are the proceedings of the 10th International Workshop on Compu- tional Logic in Multi-Agent Systems (CLIMA-X), held September 9 10, 2009 in Hamburg, co-located with MATES. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, in a formal way, programming and reasoning about agents and multi-agent systems. 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. These proceedings feature nine regularpapers (from a total of 18 papers s- mitted), as wellas one paper basedonthe invited talk givenby TranCao Son. IntheinvitedpaperbyTranCaoSon,EnricoPontelli,andNgoc-HieuNguyen, Planning for Multi-Agents Using ASP-Prolog, the action language B is - tended to the multi-agent case. The used technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on Expressing Prop-. Nº de ref. del artículo: 9783642168666
Gastos de envío:
EUR 29,61
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Computational Logic in Multi-Agent Systems
Publicado por
Springer Berlin Heidelberg, 2010
ISBN 10: 3642168663
ISBN 13: 9783642168666
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. High quality selected papersUnique visibilityState of the art researchPlanning for Multiagent Using ASP-Prolog.- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL.- Reasoning about Multi-agent Domains Using. Nº de ref. del artículo: 5051283
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 3 disponibles