Challenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4.
Ramana KumarPublished in: PxTP@CADE (2013)
Keyphrases
- cost function
- mathematical model
- theorem prover
- high level
- statistical model
- data mining
- formal model
- formal methods
- neural network
- multi agent
- probabilistic model
- probability distribution
- prediction model
- software engineering
- management system
- object model
- lessons learned
- theoretical analysis
- real time
- expert systems
- artificial intelligence
- data sets