Sharing HOL4 and HOL Light proof knowledge.
Thibault GauthierCezary KaliszykPublished in: CoRR (2015)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- higher order logic
- knowledge sharing
- domain knowledge
- knowledge acquisition
- formal methods
- prior knowledge
- knowledge exchange
- knowledge base
- expert systems
- knowledge representation
- higher order
- real time
- knowledge transfer
- knowledge management
- three dimensional
- mathematical knowledge
- design process
- raw data
- information sharing
- domain experts
- knowledge based systems
- databases
- data sets