System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.
Sylvia GreweSebastian ErdwegAndré PacakMira MeziniPublished in: PPDP (2018)
Keyphrases
- domain knowledge
- automated theorem provers
- computer algebra
- high level
- domain experts
- prior knowledge
- shape description
- domain specific knowledge
- database systems
- multimedia
- information systems
- artificial intelligence
- machine learning
- data sets
- multiscale
- digital libraries
- database
- knowledge representation
- background knowledge
- control knowledge