Resourceful Reachability as HORN-LA.

Josh Berdine Nikolaj Bjørner Samin Ishtiaq Jael E. Kriener Christoph M. Wintersteiger

Published in: LPAR (2013)

Keyphrases

np hard
transitive closure
state space
horn theories
optimal solution
expressive power
data mining
high level
reinforcement learning
natural language
search space
special case
temporal reasoning