Bidomains and Full Abstraction for Countable Nondeterminism.

Published in: FoSSaCS (2006)

Keyphrases

markov chain
high level
situation calculus
database
multi agent
data structure
learning environment
preprocessing
evolutionary algorithm
low level
planning domains
data abstraction
decision theoretic planning