Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The...
| Other Authors: | , , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012, 2012
|
| Edition: | 1st ed. 2012 |
| Series: | Lecture Notes in Artificial Intelligence
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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