| Description |
1 online resource (xvi, 199 pages) : illustrations |
| Series |
Lecture notes in artificial intelligence, 0302-9743 ; 8624 |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 8624
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
| Contents |
Intro; Preface; Organization; CLIMA Publications; Table of Contents; Main Session; On the Complexity of Two-Agent Justification Logic; 1 Introduction; 2 Syntax, Axioms, and Semantics; 3 Tableaux and Satisfiability -- The Method and the Tools; 4 Complexity Results; Fair Allocation of Group Tasks According to Social Norms; 1 Introduction; 2 Formal Setting; 3 Non-repeating Norms; 3.1 Minimality; 3.2 Fairness; 4 Repeating Norms; 5 Related Work; 4 Conclusion; A Conceptual Model for Situated Artificial Institutions; 1 Introduction; 2 Motivation; 3 Situated Artificial Institutions; 3.1 SAI Overview |
|
3.2 SAI Meta-model4 Language to Specify SAI; 4.1 Example; 5 Discussion and Future Work; Evolving Bridge Rules in Evolving Multi-Context Systems; 1 Introduction; 2 Preliminaries: Managed Multi-Context Systems; 3 Evolving Bridge Rules; 4 Inconsistency Management; 5 Related and Future Work; Logics for Agreement Technologies; Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic; 1 Introduction; 2 Preliminaries; 3 Related Work and Comparison; 4 Tools and Graphs; 4.1 Tools; 4.2 Graphs; 5 Tests and Discussion; 6 Minizinc Models; 7 Future Work |
|
Automated Planning of Simple Persuasion Dialogues1 Introduction; 2 Simple Persuasion Dialogues; 2.1 Simple Persuasion Dialogue Examples; 3 Representing Simple Persuasion Dialogues as a Planning Problem; 3.1 Overview of Model; 3.2 Formal Model of the Simple Persuasion Planning Problem; 3.3 Experimental Results; 4 Related Work; 5 Discussion; Empirical Evaluation of Strategies for Multiparty Argumentative Debates; 1 Introduction; 2 Argumentative Debates Featuring Conflicting Expert Opinions; 2.1 Modelling the Participants; 2.2 Modelling the Gameboard; 2.3 Merged System |
|
3 Focus on Minimal Changes4 A Debate Protocol; 5 Strategies; 5.1 Lack of Dominance and Equilibrium Guarantees; 5.2 Strategies Based on Target Sets; 5.3 Heuristics; 5.4 Strategy and Debate Profiles; 6 Experimental Results -- Discussion; Generating Debate Configurations; The Debates; Analysis of the Results; 7 Conclusion; How to Build Input/Output Logic; 1 Introduction; 2 Background; 3 Rules of Input; 4 Rules of Output; 5 Rules of Normative System; 6 Cross-Stage Rules; 6.1 Fixed Point Approach; 7 Application: Input/Output Logic for Constitutive Norms; 8 Related Work; 9 Conclusion and Future Work |
|
Logics for Games, Strategic Reasoning, and Social ChoiceThe Problem of Judgment Aggregation in the Framework of Boolean-Valued Models; 1 Introduction and Motivation; 2 Formal Framework and Results; 3 Conclusion; A Behavioral Hierarchy of Strategy Logic; 1 Introduction; 2 Strategy Logic; 2.1 Game Structure; 2.2 Syntax; 2.3 Semantics; 2.4 Fragments; 3 Behavioral Semantics; 4 Alternating-Goal Strategy Logic; 4.1 Syntax; 4.2 Solution; 5 Discussion; Synthesis and Verification of Uniform Strategies for Multi-agent Systems; 1 Introduction; 2 Preliminaries; 2.1 ATL: What Agents Can Achieve |
| Summary |
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. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice |
| Notes |
International conference proceedings |
|
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed July 30, 2014) |
| In |
Springer eBooks |
| Subject |
Multiagent systems -- Congresses
|
|
Computational intelligence -- Congresses
|
|
Computational intelligence
|
|
Multiagent systems
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Bulling, Nils, editor.
|
|
Torre, Leendert van der, editor
|
|
Jamroga, Wojtek, editor
|
|
Villata, Serena, editor
|
|
Vasconcelos, Wamberto, editor
|
| ISBN |
9783319097640 |
|
3319097644 |
|
3319097636 |
|
9783319097633 |
|
