15th International Workshop on Computational Logic in Multi-Agent Systems
Prague, Czech Republic, August 18-19, 2014
Programme
Monday, August 18
Session: Main I9:00-10:30 Invited Talk by Guido Governatori (NICTA and Queensland University of Technology)
Title: Thou Shalt is not You Will
10:30-11:00 Coffee Break
Session: AT I
11:00-11:30 Black, Coles, and Bernardini. Automated Planning of Simple Persuasion Dialogues
11:30-12:00 Kontarinis, Bonzon, Maudet, and Moraitis. Empirical Evaluation of Strategies for Multiparty Argumentative Debates
12:00-12:30 Sun. How to Build Input/Output Logic
12:30-14:00 Lunch break
Session: Games I
14:00-15:30 Invited Talk by Nicolas Troquard (ISTC - CNR)
Title: Artefacts and socio-technical interactions
15:30-16:00 Coffee Break
Session: Mixed I
16:00-16:30 Goncalves, Knorr, and Leite. Evolving Bridge Rules in Evolving Multi-Context Systems
16:30-17:00 Bistarelli, Rossi, and Santini. Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic
17:00-17:30 Eckert and Herzberg. The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models
Tuesday, August 19
Session: AT II9:00-10:30 Invited Talk by Henry Prakken (Utrecht University and University of Groningen)
Title: Comparing abstract models of structured argumentation
10:30-11:00 Coffee Break
Session: Main II
11:00-11:30 Alechina, van der Hoek, and Logan. Fair Allocation of Group Tasks According to Social Norms
11:30-12:00 de Brito, Hubner, and Boissier. A Conceptual Model for Situated Artificial Institutions
12:00-12:30 Achilleos. On the Complexity of Two-Agent Justification Logic
12:30-14:00 Lunch break
Session: Games II
14:00-14:30 Mogavero, Murano, and Sauro. A Behavioral Hierarchy of Strategy Logic
14:30-15:00 Pilecki, Bednarczyk, and Jamroga. Synthesis and Verification of Uniform
15:00-15:30 van Ditmarsch and Knight. Partial Information and Uniform Strategies
15:30-16:00 Coffee Break
16:00-17:30 - Panel