Graph Mining for Automatic Classification of Logical Proofs.
Karel VaculíkLubos PopelínskýPublished in: CSEDU (1) (2014)
Keyphrases
- automatic classification
- graph mining
- pattern mining
- graph databases
- frequently occurring
- connected components
- link prediction
- biological networks
- substructure discovery
- automatic detection
- graph data
- graph structures
- link analysis
- community detection
- pattern discovery
- frequent subgraph mining
- frequent subgraphs
- automatically classify
- subgraph mining
- social network analysis
- multi dimensional