Annotated Logic Applications for Imperfect Information.

Daniela Vasconcelos Carbogim Flávio S. Corrêa da Silva

Published in: Appl. Intell. (1998)

Keyphrases

imperfect information
alternating time temporal logic
game theoretic
model checking
game tree search
game playing
imperfect information games
perfect information
real time strategy games
card game
modal logic
search algorithm
nash equilibrium
reinforcement learning
multiagent systems
bounded model checking