Reachability is in DynFO.

Samir Datta Raghav Kulkarni Anish Mukherjee Thomas Schwentick Thomas Zeume

Published in: ICALP (2) (2015)

Keyphrases

state space
transitive closure
domain knowledge
multi dimensional
decision support
similarity measure
dynamic programming
object oriented
domain specific
knowledge base
search algorithm
knowledge discovery
knowledge representation
data model
background knowledge