Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers: 6214 - Brossura
Sinossi
technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on “Expressing Prop-
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Planning for Multiagent Using ASP-Prolog.- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL.- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study.- Model Checking Normative Agent Organisations.- Operational Semantics for BDI Modules in Multi-agent Programming.- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming.- Interacting Answer Sets.- Argumentation-Based Preference Modelling with Incomplete Information.- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier.- On the Implementation of Speculative Constraint Processing.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Computational Logic in Multi-Agent Systems: 10th Internation...
Immagini fornite dal venditore
Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 11986859
Compra usato
EUR 62,30
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 11986859-n
Compra nuovo
EUR 65,53
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Computational Logic in Multi-Agent Systems (Paperback)
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642168663
ISBN 13: 9783642168666
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9783642168666
Compra nuovo
EUR 67,85
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computational Logic in Multi-agent Systems: 10th International Workshop, Clima-x 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Editore:
Springer-Verlag New York Inc, 2011
ISBN 10: 3642168663
ISBN 13: 9783642168666
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 195 pages. 9.00x6.00x0.50 inches. In Stock. Codice articolo x-3642168663
Compra nuovo
EUR 77,63
Spedizione EUR 17,37
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Computational Logic in Multi-Agent Systems
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 5051283
Compra nuovo
EUR 60,10
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Editore:
Springer, Berlin, Springer, 2010
ISBN 10: 3642168663
ISBN 13: 9783642168666
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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-. Codice articolo 9783642168666
Compra nuovo
EUR 72,82
Spedizione EUR 61,59
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Editore:
Springer-Verlag GmbH, 2010
ISBN 10: 3642168663
ISBN 13: 9783642168666
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 9886055/12
Compra usato
EUR 59,94
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili