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) - Softcover
Synopsis
technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on “Expressing Prop-
"synopsis" may belong to another edition of this title.
Search results for Computational Logic in Multi-Agent Systems: 10th Internation...
Stock Image
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)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020219913
Stock Image
Computational Logic in Multi-Agent Systems (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642168663
ISBN 13: 9783642168666
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # 9783642168666
Stock Image
Computational Logic in Multi-agent Systems: 10th International Workshop, Clima-x 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Published by
Springer-Verlag New York Inc, 2011
ISBN 10: 3642168663
ISBN 13: 9783642168666
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 195 pages. 9.00x6.00x0.50 inches. In Stock. Seller Inventory # x-3642168663
Buy New
US$ 89.95
Shipping:
US$ 19.66
From United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Computational Logic in Multi-Agent Systems
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642168663
ISBN 13: 9783642168666
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 5051283
Seller Image
Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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-. Seller Inventory # 9783642168666
Stock Image
Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 9886055/12