Imperfect Information Flow of Agents Communication in Arrow Logic.

Yoshihiko Murakawa Satoshi Tojo Susumu Kunifuji

Published in: J. Univers. Comput. Sci. (1997)

Keyphrases

alternating time temporal logic
imperfect information
model checking
game theoretic
opponent modeling
game playing
game theory
game tree search
real time strategy games
perfect information
card game
temporal logic
epistemic logic
game tree
stochastic games
human players
multi agent systems