13th International Workshop on Computational Logic in Multi-Agent Systems

Montpellier, France, August 27-28, 2012


27th August:

14:00 Workshop commences
Invited talk: Emiliano Lorini
15:00 Distributed Defeasible Speculative Reasoning in Ambient Environment
  H-P. Lam, G. Governatori, K. Satoh and H. Hosobe
15:30 BREAK
16:00 A Numerical Approach to the Merging of Argumentation Networks
  D. Gabbay and O. Rodrigues
16:30 Enhancing Goal-based Requirements Consistency: An
Argumentation-based Approach
  I. Mirbel and S. Villata
17:00 A Time-Situated Meta-Logic for Characterizing Goal-Processing
  Bounded Agents Isaac Pinyol CANCELLED

28th August:

09:00 Invited talk: Dov Gabbay
10:00 BREAK
10:30 Full Hybrid mu-Calculus, Its Bisimulation Invariance and Application
to Argumentation
  C. Gratie, A. Florea and J-J. Meyer
11:00 A Game Theoretic Approach for Optimal Network Topologies in
Opportunistic Networks
  N. Bulling, M. Koester and M. Popovici
11:30 Epistemic ATL with Perfect Recall, Past and Strategy Contexts
  D. Guelev and C. Dima
12:00 Using Evolution Graphs for Describing Topology-aware Prediction
Models in Large Clusters
  M. Popovici
12:30 LUNCH
14:00 Invited talk: Gerhard Lakemeyer
15:00 A Formal Semantics for Agent (Re)Organization
  F. Dignum and V. Dignum
15:30 BREAK
16:00 Implementing Reversible Processes in Multi-agent Action Languages
using Answer Set Planning
  B. Wright, E. Pontelli and T. Cao Son
16:30 MKNF Knowledge Bases in Multi-Context Systems
  M. Homola, M. Knorr, J. Leite and M. Slota
17:00 Workshop closes

CLIMA XIII Acceptance Rate

Papers submitted: 27. Papers accepted for workshop: 11.