Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computational Logic in Multi-Agent Systems
  • Produktbild: Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.07.2009

Herausgeber

Michael Fisher + weitere

Verlag

Springer Berlin

Seitenzahl

173

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

289 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02733-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.07.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

173

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

289 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02733-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computational Logic in Multi-Agent Systems
  • Produktbild: Computational Logic in Multi-Agent Systems
  • Invited Papers.- Easy Yet Hard: Model Checking Strategies of Agents.- Programming Multi-agent Systems.- Regular Papers.- Verifying Agents’ Conformance with Multiparty Protocols.- Run-Time Semantics of a Language for Programming Social Processes.- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.- Bounded-Resource Reasoning as (Strong or Classical) Planning.- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.- Contracts Violation: Justification via Argumentation.- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant.