Automated Deduction with Shannon Graphs.
Joachim PoseggaPeter H. SchmittPublished in: J. Log. Comput. (1995)
Keyphrases
- automated deduction
- theorem proving
- theorem prover
- inference rules
- logic programming
- graph matching
- graph theoretic
- directed graph
- information theory
- graph theory
- artificial intelligence
- series parallel
- graph clustering
- graph representation
- graph databases
- database systems
- graph model
- graph mining
- software engineering
- small world
- database
- deductive databases
- programming language