Making Isabelle Content Accessible in Knowledge Representation Formats.
Michael KohlhaseFlorian RabeMakarius WenzelPublished in: TYPES (2019)
Keyphrases
- knowledge representation
- metadata
- multimedia
- theorem prover
- artificial intelligence
- automated reasoning
- semantic web
- natural language
- expert systems
- machine learning
- knowledge acquisition
- general knowledge
- knowledge engineering
- knowledge base
- knowledge based systems
- description logics
- database systems
- learning algorithm