Description
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
Coordinators: Fisher Michael, van der Torre Leon, Dastani Mehdi, Governatori Guido
Language: EnglishSubject for Computational Logic in Multi-Agent Systems:
228 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
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