Knowledge representation for mathematical discovery: Three experiments in graph theory.
Susan L. EpsteinN. S. SridharanPublished in: Appl. Intell. (1991)
Keyphrases
- graph theory
- knowledge representation
- graph theoretical
- graph theoretic
- knowledge acquisition
- semantic web
- social network analysis
- computer vision and pattern recognition
- artificial intelligence
- knowledge base
- natural language
- automata theory
- maximal cliques
- complex networks
- document similarity
- machine learning
- minimum spanning tree
- graph based representations
- combinatorial optimization
- first order logic
- expert systems
- pattern discovery
- logic programming
- natural language processing
- graph properties
- automated reasoning
- exploratory analysis
- graph representations
- maximum independent set
- computer vision