Return to home page
Searching: Muskingum library catalog
Record 390 of 1046
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference CLIMA (Workshop) (15th : 2014 : Prague, Czech Republic)
Title Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings / Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos (eds.).
Imprint Cham : Springer, 2014.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
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.
Subject Multiagent systems -- Congresses.
Computational intelligence -- Congresses.
Alt Name Bulling, Nils,
Torre, Leendert van der,
Jamroga, Wojtek,
Villata, Serena,
Vasconcelos, Wamberto,
Add Title CLIMA XV
CLIMA 15
Description 1 online resource (xvi, 199 pages) : illustrations.
Note International conference proceedings.
Includes author index.
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.
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
Note Online resource; title from PDF title page (SpringerLink, viewed July 30, 2014).
ISBN 9783319097640 (electronic bk.)
3319097644 (electronic bk.)
3319097636 (print)
9783319097633 (print)
9783319097633
ISBN/ISSN 10.1007/978-3-319-09764-0
OCLC # 884895543
Additional Format Printed edition: 9783319097633