Functional Thesauri, Classifying Topoi, Unification, and Flatness.
Andreas BlassPublished in: Fields of Logic and Computation III (2020)
Keyphrases
- information retrieval systems
- domain specific
- higher order
- databases
- automatic classification
- multi agent
- theorem proving
- data sets
- functional properties
- functional analysis
- computer vision
- case study
- general purpose
- artificial intelligence
- information retrieval
- data mining
- theorem prover
- hierarchical classification
- functional verification
- equational theories