An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems.
Shuling WangNaijun ZhanLiang ZouPublished in: ICFEM (2015)
Keyphrases
- theorem prover
- hybrid systems
- computer algebra systems
- automated theorem proving
- theorem proving
- intelligent systems
- black box
- first order logic
- meta learning
- inference rules
- neural network
- discrete event
- term rewriting
- computational intelligence
- proof search
- soft computing
- formal proof
- artificial intelligence
- natural deduction
- genetic algorithm
- inductive learning
- modal logic
- learning algorithm