Computing knowledge in equational extensions of subterm convergent theories.
Serdar ErbaturAndrew M. MarshallChristophe RingeissenPublished in: Math. Struct. Comput. Sci. (2020)
Keyphrases
- knowledge base
- formal models
- information technology
- probabilistic knowledge
- domain knowledge
- knowledge acquisition
- knowledge extraction
- machine learning
- knowledge representation
- knowledge discovery
- knowledge management
- knowledge based systems
- higher level
- knowledge sharing
- intelligent design
- knowledge transfer
- learning environment
- metadata
- information retrieval