Merkzettel Warenkorb
Produktbild: Computational Logic in Multi-Agent Systems
Band 6245

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.08.2010

Herausgeber

Jürgen Dix + weitere

Verlag

Springer Berlin

Seitenzahl

257

Maße (L/B/H)

24,2/15,6/2 cm

Gewicht

420 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-14976-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.08.2010

Herausgeber

Verlag

Springer Berlin

Seitenzahl

257

Maße (L/B/H)

24,2/15,6/2 cm

Gewicht

420 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-14976-4

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Computational Logic in Multi-Agent Systems
  • 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.