Semantic Equivalence of Graph Polynomials Definable in Second Order Logic.
Johann A. MakowskyElena V. RavvePublished in: WoLLIC (2016)
Keyphrases
- graph model
- random walk
- semantic information
- directed graph
- logical equivalence
- higher order
- logic programming
- semantic similarity
- logical representation
- proof theory
- graph representation
- graph matching
- weighted graph
- graph structure
- natural language
- graph theoretic
- graph theory
- semantic web
- bipartite graph
- modal logic
- data complexity
- domain specific
- monadic second order logic
- high level
- situation calculus
- semantic network
- spanning tree
- semantic annotation
- semantic description