A divertimento on MonadPlus and nondeterminism.

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

situation calculus
htn planning
sensing actions
learning algorithm
optimal solution
data structure
expert systems
search space
probability distribution
constraint satisfaction problems
planning domains