Making Isabelle Content Accessible in Knowledge Representation Formats.
Michael KohlhaseFlorian RabeMakarius WenzelPublished in: CoRR (2020)
Keyphrases
- knowledge representation
- metadata
- multimedia
- natural language processing
- automated reasoning
- knowledge base
- artificial intelligence
- theorem prover
- expert systems
- knowledge acquisition
- logic programming
- natural language
- knowledge engineering
- information extraction
- semantic information
- database
- knowledge management
- machine learning
- semantic web
- first order logic
- probabilistic reasoning
- user generated
- real time