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

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

Abbildungen

IX, 173 p.

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

Abbildungen

IX, 173 p.

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

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.