CLIMA

Keyphrases

Publications

2014

Fabio Mogavero, Aniello Murano, Luigi Sauro
A Behavioral Hierarchy of Strategy Logic. CLIMA (2014)
Elizabeth Black, Amanda Jane Coles, Sara Bernardini
Automated Planning of Simple Persuasion Dialogues. CLIMA (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite
Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA (2014)
Stefano Bistarelli, Fabio Rossi, Francesco Santini
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. CLIMA (2014)
Daniel Eckert, Frederik Herzberg
The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models. CLIMA (2014)
Maiquel de Brito, Jomi Fred Hübner, Olivier Boissier
A Conceptual Model for Situated Artificial Institutions. CLIMA (2014)
Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. CLIMA (2014)
Hans van Ditmarsch, Sophia Knight
Partial Information and Uniform Strategies. CLIMA (2014)
Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Pavlos Moraitis
Empirical Evaluation of Strategies for Multiparty Argumentative Debates. CLIMA (2014)
Natasha Alechina, Wiebe van der Hoek, Brian Logan
Fair Allocation of Group Tasks According to Social Norms. CLIMA (2014)
Xin Sun
How to Build Input/Output Logic. CLIMA (2014)
Antonis Achilleos
On the Complexity of Two-Agent Justification Logic. CLIMA (2014)

volume 8624, 2014

Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings CLIMA 8624 (2014)

2013

volume 8143, 2013

Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings CLIMA 8143 (2013)

2012

volume 7486, 2012

Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings CLIMA 7486 (2012)