Sharing HOL4 and HOL Light Proof Knowledge.
Thibault GauthierCezary KaliszykPublished in: LPAR (2015)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- higher order logic
- knowledge sharing
- domain knowledge
- formal methods
- knowledge base
- mathematical knowledge
- expert systems
- knowledge representation
- higher order
- databases
- knowledge extraction
- knowledge sources
- knowledge management
- knowledge discovery
- website
- data sets
- knowledge based systems
- background knowledge
- knowledge acquisition
- conceptual model
- human experts
- data mining techniques
- domain specific
- knowledge transfer
- case based reasoning
- knowledge exchange
- logical rules
- data mining