Coalition logic with individual, distributed and common knowledge1.

Thomas Ågotnes Natasha Alechina

Published in: J. Log. Comput. (2019)

Keyphrases

expert systems
multi agent
special case
exchange information
artificial intelligence
decision making
knowledge base
knowledge representation
model checking
coalition logic