From Closure Games to Strong Kleene Truth.

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

propositional logic
computer games
game theory
database
nash equilibria
nash equilibrium
regular expressions
game tree search
game playing
game design
game play
educational games
relational databases
multi agent systems
genetic algorithm
neural network
real time