


default search action
CLIMA XIII 2012: Montpellier, France
- Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori

:
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Lecture Notes in Computer Science 7486, Springer 2012, ISBN 978-3-642-32896-1 - Dov M. Gabbay:

Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. 1-24 - Gerhard Lakemeyer:

Multi-agent Only-Knowing. 25 - Emiliano Lorini:

Logics for Reasoning about Agents' Attitudes in Strategic Contexts. 26 - Isaac Pinyol:

A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents. 27-42 - Ho-Pun Lam

, Guido Governatori
, Ken Satoh, Hiroshi Hosobe:
Distributed Defeasible Speculative Reasoning in Ambient Environment. 43-60 - Frank Dignum, Virginia Dignum

:
A Formal Semantics for Agent (Re)Organization. 61-76 - Dimitar P. Guelev, Catalin Dima:

Epistemic ATL with Perfect Recall, Past and Strategy Contexts. 77-93 - Matei Popovici:

Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters. 94-109 - Isabelle Mirbel, Serena Villata:

Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach. 110-127 - Nils Bulling, Michael Köster, Matei Popovici:

A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. 128-145 - Martin Homola, Matthias Knorr

, João Leite
, Martin Slota:
MKNF Knowledge Bases in Multi-Context Systems. 146-162 - Ben Wright, Enrico Pontelli

, Tran Cao Son:
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. 163-180 - Cristian Gratie

, Adina Magda Florea
, John-Jules Ch. Meyer:
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. 181-194 - Dov M. Gabbay, Odinaldo Rodrigues

:
A Numerical Approach to the Merging of Argumentation Networks. 195-212

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














