"Computational Logic in Multi-Agent Systems" - Information and Links:

Computational Logic in Multi-Agent Systems - Info and Reading Options

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

"Computational Logic in Multi-Agent Systems" was published by Springer in 2014 - Cham, it has 1 pages and the language of the book is English.


“Computational Logic in Multi-Agent Systems” Metadata:

  • Title: ➤  Computational Logic in Multi-Agent Systems
  • Authors:
  • Language: English
  • Number of Pages: 1
  • Publisher: Springer
  • Publish Date:
  • Publish Location: Cham

“Computational Logic in Multi-Agent Systems” Subjects and Themes:

Edition Specifications:

  • Pagination: 199

Edition Identifiers:

AI-generated Review of “Computational Logic in Multi-Agent Systems”:


"Computational Logic in Multi-Agent Systems" Description:

Open Data:

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-model -- 4 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 Dialogues -- 1 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

Read “Computational Logic in Multi-Agent Systems”:

Read “Computational Logic in Multi-Agent Systems” by choosing from the options below.

Search for “Computational Logic in Multi-Agent Systems” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Computational Logic in Multi-Agent Systems” in Libraries Near You:

Read or borrow “Computational Logic in Multi-Agent Systems” from your local library.

Buy “Computational Logic in Multi-Agent Systems” online:

Shop for “Computational Logic in Multi-Agent Systems” on popular online marketplaces.