• 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

51,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: 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
  • 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.