Computational Logic in Multi-Agent Systems, 2012 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings Lecture Notes in Artificial Intelligence Series
Coordonnateurs : Fisher Michael, van der Torre Leon, Dastani Mehdi, Governatori Guido
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.
Fast rack conference proceedings
Unique visuability
State of the art research
Date de parution : 07-2012
Ouvrage de 228 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panierThème de Computational Logic in Multi-Agent Systems :
Mots-clés :
agent interaction; argumentation networks; distributed systems; formal semantics; goals