Making Nondeterminism Unambiguous.

Klaus Reinhardt Eric Allender

Published in: SIAM J. Comput. (2000)

Keyphrases

machine learning
general purpose
keywords
lower bound
query processing
situation calculus
htn planning