Multi-valued Logics, Automata, Simulations, and Games.

Orna Kupferman Yoad Lustig

Published in: VMCAI (2008)

Keyphrases

valued logic
real time
databases
computer games
video games
datalog programs
expert systems
game theory
probability distribution
propositional logic
stable models
finite automata