How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order.
Arend RensinkPublished in: ModelEd, TestEd, TrustEd (2017)
Keyphrases
- sufficient conditions
- random walk
- directed graph
- graph representation
- first order logic
- graph structure
- higher order
- connected components
- graph theory
- graph clustering
- graph model
- structured data
- bipartite graph
- link analysis
- neural network
- adjacency matrix
- graph properties
- graph structures
- horn clauses
- graph theoretic
- spanning tree
- directed acyclic graph
- graph matching
- search algorithm
- knowledge base