KI-Beratung Beta

  • Produktbild: Computational Logic in Multi-Agent Systems
  • Produktbild: Computational Logic in Multi-Agent Systems
Band 5056

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.10.2008

Abbildungen

X, 299 p.

Herausgeber

Fariba Sadri + weitere

Verlag

Springer Berlin

Seitenzahl

299

Maße (L/B/H)

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

Gewicht

476 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-88832-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.10.2008

Abbildungen

X, 299 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

299

Maße (L/B/H)

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

Gewicht

476 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-88832-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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 Paper.- Plan-Coordination Mechanisms and the Price of Autonomy.- Regular Papers.- Actions with Failures in Interval Temporal Logic.- A Logic for Reasoning about Rational Agents.- Formal Modelling of Emotions in BDI Agents.- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations.- Proof Theory for Distributed Knowledge.- EVOLP: Tranformation-Based Semantics.- Language Constructs for Multi-agent Programming.- -Tropos.- A Heuristic Approach to P2P Negotiation.- Towards Context Sensitive Defeasible Rules.- Fuzzy Argumentation for Trust.- Assumption-Based Argumentation for Selection and Composition of Services.- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.- System Description Paper.- EVOLP: An Implementation.