Reasoning about Strategies.

Johan van Benthem

Published in: Computation, Logic, Games, and Quantum Foundations (2013)

Keyphrases

spatial reasoning
qualitative reasoning
formal theory
machine learning
information systems
decision making
website
case study
expert systems
trade off
hidden markov models