Computational Logic in Multi-Agent Systems

15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings

AvNils Bulling,Leendert van der Torre

Häftad, Engelska, 2014

Del 8624 i serien Lecture Notes in Computer Science

536 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.

Produktinformation

Utgivningsdatum:2014-08-04
Mått:155 x 235 x 12 mm
Vikt:335 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:199
Förlag:Springer International Publishing AG
ISBN:9783319097633

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

On the Complexity of Two-Agent Justification Logic.- Fair Allocation of Group Tasks According to Social Norms.- A Conceptual Model for Situated Artificial Institutions.- Evolving Bridge Rules in Evolving Multi-Context Systems.- Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic.- Automated Planning of Simple Persuasion Dialogues.- Empirical Evaluation of Strategies for Multiparty Argumentative Debates.- How to Build Input/Output Logic.- The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models.- A Behavioral Hierarchy of Strategy Logic.- Synthesis and Verification of Uniform Strategies for Multi-agent Systems.- Partial Information and Uniform Strategies.