On the Succinctness of Nondeterminism.

Benjamin Aminof Orna Kupferman

Published in: ATVA (2006)

Keyphrases

modal logic
situation calculus
knowledge compilation
htn planning
response time
machine learning
sensing actions
temporal logic
orders of magnitude
database
database design
general purpose
search engine
planning domains
learning algorithm
event calculus
genetic algorithm