‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings

Linksbuch Neu neu Rechtsbuch

Dix, Jürgen (Herausgeber); Leite, Joao (Herausgeber); Governatori, Guido (Herausgeber); Jamroga, Wojtek (Herausgeber)

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6245

Springer-Verlag GmbH, Springer Berlin, August 2010


Edition - 255 S. - Sprache: Englisch - 242x156x20 mm

ISBN: 3642149766 EAN: 9783642149764

These are the proceedings of the 11th International Workshop on Compu- tional Logicin Multi-Agent Systems (CLIMA-XI), held during August 16-17,in Lisbon, collocated with the 19th European Conference on Arti?cial Intelligence (ECAI-2010). 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. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Former CLIMA editions have been conducted in conjunction with other - jor Computational Logic and AI events such as CL in 2000, ICLP in 2001 and 2007, FLoC in 2002, LPNMR and AI-Math in 2004, JELIA in 2004 and 2008 and MATES in 2009. In 2005 CLIMA was not associated with any major event.


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

fast-track conference proceedings

Inhaltsverzeichnis

Invited Talks.- Is Computational Complexity a Barrier to Manipulation?.- Games, Norms and Strategic Notions in Information Flow Security.- Group Announcements: Logic and Games (Abstract of Invited Talk).- Strong Equivalence in Argumentation.- Regular Papers.- Hypergraphs of Multiparty Secrets.- Combining Logics in Simple Type Theory.- Speculative Abductive Reasoning for Hierarchical Agent Systems.- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes.- What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior.- Verifying Business Process Compliance by Reasoning about Actions.- From Organisation Specification to Normative Programming in Multi-Agent Organisations.- Finding Uniform Strategies for Multi-agent Systems.- Playing Extensive Form Games in Parallel.- Exploring the Boundary of Half Positionality.- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets.- An Agent Language with Destructive Assignment and Model-Theoretic Semantics.- Model Checking Agent Programs by Using the Program Interpreter.- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages.


ISBN 3-642-14976-6

ISBN 978-3-642-14976-4

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

Trust, Privacy and Security in Digital Business Second International Conference, TrustBus 2005 Copen von Katsikas, Sokratis K. (Herausgeber); López, Javier (Herausgeber); Pernul, Günther (Herausgeber)
74,89 EUR

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Ka von Kozubek, Tomás (Herausgeber); Cermák, Martin (Herausgeber); Tichý, Petr (Herausgeber); Blaheta, Radi
62,05 EUR

Vagueness in Communication International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, von Nouwen, Rick (Herausgeber); Rooij, Robert van (Herausgeber); Sauerland, Uli (Herausgeber); Schmitz,
74,99 EUR

Computers and Games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, R von Herik, H. Jaap van den (Herausgeber); Iida, Hiroyuki (Herausgeber); Plaat, Aske (Herausgeber)
69,99 EUR

Software Architecture for Big Data and the Cloud von Mistrik, Ivan (Herausgeber); Bahsoon, Rami (Herausgeber); Ali, Nour (Herausgeber)
115,50 EUR

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, Ju von Aceto, Luca (Herausgeber); Damgard, Ivan (Herausgeber); Goldberg, Leslie Ann (Herausgeber); Halldors
99,99 EUR

The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21 von D'Amato, Claudia (Herausgeber); Fernández, Miriam (Herausgeber); Tamma, Valentina (Herausgeber); Lec
69,54 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.