Proof Mining with the Bounded Functional Interpretation.
Pedro PintoPublished in: Bull. Symb. Log. (2022)
Keyphrases
- text mining
- data mining
- data mining techniques
- theorem proving
- web mining
- association mining
- itemsets
- image interpretation
- transactional data
- knowledge discovery
- association rule mining
- pattern mining
- frequent itemsets
- functional analysis
- linear logic
- semantic interpretation
- mining algorithm
- database
- high level
- information systems
- social networks
- information retrieval
- real time