A synthetic theory of sequential domains.

Bernhard Reus Thomas Streicher

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

real world
theoretical framework
neural network
application domains
formal theory
conceptual framework
decision trees
decision making
reinforcement learning
search algorithm
computer science
mobile robot
computational model
computer vision
genetic algorithm
domain theory
real time