Produktbild: Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Fr. 69.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.07.2012

Abbildungen

50 illus., schwarz-weiss Illustrationen

Herausgeber

Michael Fisher + weitere

Verlag

Springer Berlin

Seitenzahl

228

Maße (L/B/H)

23.5/15.5/1.3 cm

Gewicht

353 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-32896-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.07.2012

Abbildungen

50 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

228

Maße (L/B/H)

23.5/15.5/1.3 cm

Gewicht

353 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-32896-1

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
  • Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report.- Multi-agent Only-Knowing.- Logics for Reasoning about Agents’ Attitudes in Strategic Contexts.- A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents.- Distributed Defeasible Speculative Reasoning in Ambient Environment.- A Formal Semantics for Agent (Re)Organization.- Epistemic ATL with Perfect Recall, Past and Strategy Contexts.- Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters.- Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach.- A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks.- MKNF Knowledge Bases in Multi-Context Systems.- Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning.- Full Hybrid μ -Calculus, Its Bisimulation Invariance and Application to Argumentation.- A Numerical Approach to the Merging of Argumentation Networks.