Man-Machine Theorem Proving in Graph Theory.
Dragos M. CvetkovicIrena PevacPublished in: Artif. Intell. (1988)
Keyphrases
- graph theory
- theorem proving
- man machine
- graph theoretic
- first order logic
- automated deduction
- term rewriting
- graph theoretical
- inference rules
- theorem prover
- proof procedure
- decision procedures
- social network analysis
- automata theory
- automated reasoning
- computer vision and pattern recognition
- automated theorem proving
- consequence finding
- combinatorial search
- parallel search
- automatic programming
- geometry theorem proving
- logical inference
- complex networks
- graph based representations
- proof planning
- graph representations
- maximal cliques
- genetic algorithm
- proof search
- np complete
- knowledge representation
- maximum independent set