default search action
CLIMA XV 2014: Prague, Czech Republic
- Nils Bulling, Leendert W. N. van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Weber Vasconcelos:
Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings. Lecture Notes in Computer Science 8624, Springer 2014, ISBN 978-3-319-09763-3
Main Session
- Antonis Achilleos:
On the Complexity of Two-Agent Justification Logic. 1-18 - Natasha Alechina, Wiebe van der Hoek, Brian Logan:
Fair Allocation of Group Tasks According to Social Norms. 19-34 - Maiquel de Brito, Jomi Fred Hübner, Olivier Boissier:
A Conceptual Model for Situated Artificial Institutions. 35-51 - Ricardo Gonçalves, Matthias Knorr, João Leite:
Evolving Bridge Rules in Evolving Multi-Context Systems. 52-69
Logics for Agreement Technologies
- Stefano Bistarelli, Fabio Rossi, Francesco Santini:
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. 70-86 - Elizabeth Black, Amanda Jane Coles, Sara Bernardini:
Automated Planning of Simple Persuasion Dialogues. 87-104 - Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Pavlos Moraitis:
Empirical Evaluation of Strategies for Multiparty Argumentative Debates. 105-122 - Xin Sun:
How to Build Input/Output Logic. 123-137
Logics for Games, Strategic Reasoning, and Social Choice
- Daniel Eckert, Frederik Herzberg:
The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models. 138-147 - Fabio Mogavero, Aniello Murano, Luigi Sauro:
A Behavioral Hierarchy of Strategy Logic. 148-165 - Jerzy Pilecki, Marek A. Bednarczyk, Wojciech Jamroga:
Synthesis and Verification of Uniform Strategies for Multi-agent Systems. 166-182 - Hans van Ditmarsch, Sophia Knight:
Partial Information and Uniform Strategies. 183-198
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.