13th International Workshop on Computational Logic in Multi-Agent Systems
Montpellier, France, August 27-28, 2012
Programme
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.