


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














