Keyphrases
- weighted graph
- expressive power
- regular languages
- graph model
- weighted sum
- association graph
- finite automata
- graph matching
- graph partitioning
- cellular automata
- modal logic
- graph representation
- spectral graph
- subgraph isomorphism
- adjacency matrix
- classical logic
- inference rules
- graph theory
- graph databases
- regular expressions
- graph theoretic
- edge weights
- graph structure
- graph construction
- bipartite graph
- directed graph
- np complete
- np hard
- proof theory
- neural network