Reachability is in DynFO.

Samir Datta Raghav Kulkarni Anish Mukherjee Thomas Schwentick Thomas Zeume

Published in: CoRR (2015)

Keyphrases

state space
transitive closure
expressive power
machine learning
database
learning algorithm
dynamic programming
high level
search algorithm
incomplete information
knowledge base
recommender systems
domain knowledge
decision support
database applications
first order logic