Articoli correlati a Computational Logic in Multi-Agent Systems: 10th Internation...
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.
Compra nuovo
Visualizza questo articolo
EUR 52,27
EUR 3,42 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Computational Logic in Multi-Agent Systems: 10th Internation...
Foto dell'editore
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)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020219913
Quantitą: 1 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
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
Quantitą: 2 disponibili
Immagini fornite dal venditore
Computational Logic in Multi-Agent Systems
Da: moluna, Greven, Germania
Valutazione del venditore 4 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
Quantitą: 3 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
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
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. Codice articolo 9886055/12
Quantitą: 1 disponibili