‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

Linksbuch Neu neu Rechtsbuch

Dix, Jürgen (Herausgeber); Fisher, Michael (Herausgeber); Novák, Peter (Herausgeber)

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6214

Springer-Verlag GmbH, Oktober 2010


195 S. - Sprache: Englisch - 241x158x15 mm Book

ISBN: 3642168663 EAN: 9783642168666

technology is based on answer set programming. The contribution by Nils Bulling and Berndt Farwer on "Expressing Prop-


Preis: 64,19 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 64,19 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

High quality selected papers Unique visibility State of the art research

Inhaltsverzeichnis

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.


ISBN 3-642-16866-3

ISBN 978-3-642-16866-6

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Secure Data Deletion von Reardon, Joel
129,99 EUR

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27 von Ehrig, Hartmut (Herausgeber); Rensink, Arend (Herausgeber); Rozenberg, Grzegorz (Herausgeber); Schür
85,59 EUR

Critical Systems: Formal Methods and Automated Verification International Workshop, FMICS-AVoCS 2016 von Beek, Maurice H. ter (Herausgeber); Gnesi, Stefania (Herausgeber); Knapp, Alexander (Herausgeber)
69,99 EUR

Security, Privacy, and Applied Cryptography Engineering 4th International Conference, SPACE 2014, Pu von Chakraborty, Rajat Subhra (Herausgeber); Matyas, Vashek (Herausgeber); Schaumont, Patrick (Herausgeb
74,99 EUR

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden von Drewes, Frank (Herausgeber); Martín-Vide, Carlos (Herausgeber); Truthe, Bianca (Herausgeber)
70,62 EUR

Database Systems for Advanced Applications 21th International Conference, DASFAA 2016, Dallas, TX, U von Navathe, Shamkant B. (Herausgeber); Wu, Weili (Herausgeber); Shekhar, Shashi (Herausgeber); Du, Xiao
89,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.