Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319097633, 9783319097640

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_9 ◽

2014 ◽

pp. 138-147 ◽

Cited By ~ 1

Author(s):

Daniel Eckert ◽

Frederik Herzberg

Keyword(s):

Judgment Aggregation

Download Full-text

Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_5 ◽

2014 ◽

pp. 70-86 ◽

Cited By ~ 2

Author(s):

Stefano Bistarelli ◽

Fabio Rossi ◽

Francesco Santini

Download Full-text

A Behavioral Hierarchy of Strategy Logic

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_10 ◽

2014 ◽

pp. 148-165 ◽

Cited By ~ 7

Author(s):

Fabio Mogavero ◽

Aniello Murano ◽

Luigi Sauro

Keyword(s):

Strategy Logic ◽

Behavioral Hierarchy

Download Full-text

On the Complexity of Two-Agent Justification Logic

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_1 ◽

2014 ◽

pp. 1-18 ◽

Cited By ~ 5

Author(s):

Antonis Achilleos

Keyword(s):

Justification Logic

Download Full-text

How to Build Input/Output Logic

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_8 ◽

2014 ◽

pp. 123-137 ◽

Cited By ~ 5

Author(s):

Xin Sun

Keyword(s):

Input Output

Download Full-text

Evolving Bridge Rules in Evolving Multi-Context Systems

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_4 ◽

2014 ◽

pp. 52-69 ◽

Cited By ~ 4

Author(s):

Ricardo Gonçalves ◽

Matthias Knorr ◽

João Leite

Download Full-text

A Conceptual Model for Situated Artificial Institutions

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_3 ◽

2014 ◽

pp. 35-51 ◽

Cited By ~ 7

Author(s):

Maiquel de Brito ◽

Jomi Fred Hübner ◽

Olivier Boissier

Keyword(s):

Conceptual Model ◽

Artificial Institutions

Download Full-text

Fair Allocation of Group Tasks According to Social Norms

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_2 ◽

2014 ◽

pp. 19-34 ◽

Cited By ~ 1

Author(s):

Natasha Alechina ◽

Wiebe van der Hoek ◽

Brian Logan

Keyword(s):

Social Norms ◽

Fair Allocation

Download Full-text

Automated Planning of Simple Persuasion Dialogues

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_6 ◽

2014 ◽

pp. 87-104 ◽

Cited By ~ 13

Author(s):

Elizabeth Black ◽

Amanda Coles ◽

Sara Bernardini

Keyword(s):

Automated Planning

Download Full-text

Synthesis and Verification of Uniform Strategies for Multi-agent Systems

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-319-09764-0_11 ◽

2014 ◽

pp. 166-182 ◽

Cited By ~ 7

Author(s):

Jerzy Pilecki ◽

Marek A. Bednarczyk ◽

Wojciech Jamroga

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

Lecture Notes in Computer Science - Computational Logic in Multi-Agent SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

The Problem of Judgment Aggregation in the Framework of Boolean-Valued Models

Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic

A Behavioral Hierarchy of Strategy Logic

On the Complexity of Two-Agent Justification Logic

How to Build Input/Output Logic

Evolving Bridge Rules in Evolving Multi-Context Systems

A Conceptual Model for Situated Artificial Institutions

Fair Allocation of Group Tasks According to Social Norms

Automated Planning of Simple Persuasion Dialogues

Synthesis and Verification of Uniform Strategies for Multi-agent Systems

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems
Latest Publications