Enabling Symbolic and Numerical Computations in HOL Light.
Ons SeddikiCvetan DunchevSanaz Khan AfsharSofiène TaharPublished in: CICM (2015)
Keyphrases
- theorem prover
- high level
- formal methods
- data sets
- higher order logic
- symbolic description
- binary decision diagrams
- theorem proving
- symbolic representation
- connectionist systems
- symbolic reasoning
- neural learning
- natural deduction
- symbolic data
- software engineering
- probabilistic model
- multi agent systems
- data structure
- multi agent
- database systems
- multimedia
- feature selection
- neural network