Stam's Identities Collection: A Case Study for Math Knowledge Bases.
Bruno BuchbergerPublished in: ICMS (2016)
Keyphrases
- knowledge base
- description logics
- case study
- document collections
- neural network
- knowledge acquisition
- knowledge representation
- expert systems
- knowledge based systems
- logic programming
- wordnet
- real time
- test bed
- artificial intelligence
- learning algorithm
- information retrieval
- machine learning
- mathematical problem solving