Towards First-order Deduction Based on Shannon Graphs.
Joachim PoseggaBertram LudäscherPublished in: GWAI (1992)
Keyphrases
- theorem proving
- first order logic
- information theory
- higher order
- graph matching
- stochastic dominance
- directed graph
- graph mining
- graph theory
- graph structure
- inference rules
- subgraph isomorphism
- weighted graph
- quantifier elimination
- automated theorem proving
- series parallel
- graph clustering
- graph representation
- graph databases
- neural network
- bipartite graph
- semi supervised