A stit-Logic for Extensive Form Group Strategies.

Jan M. Broersen

Published in: Web Intelligence/IAT Workshops (2009)

Keyphrases

decision making
logical framework
multi agent systems
coalition logic
inference rules
reasoning tasks
multi agent
search algorithm
lower bound
game theory
belief revision
formal language
real world
state space
description logics
predicate logic