Terminology of the Problem HumanGS: abbreviation for human-assisted graph search Taxonomy: DAG(directed acyclic graph) Category: Node Question: Reachability Tricks: Not leaves, Not root, Just middle! Challenge: High Latency
More Applications Manual Curation(insert a web into web-graph) Question: Is the item a kind of x?
Apps(cont.) Debugging of Workflows Question: Is the output fragment at point x wrong?
Apps(cont.) Filter Synthesis Question: Do you want all data items satisfying condition x to be part of the result?
Apps(cont.) Interactive Search Question: Do you want more results like concept x?
Dimensions of the problem Single/Multi (target set) Bounded/Unlimited (question set) DAG/Downward-Forest/Upward-Forest