KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.
Nathan FultonStefan MitschJan-David QueselMarcus VölpAndré PlatzerPublished in: CADE (2015)
Keyphrases
- theorem prover
- search algorithm
- hybrid systems
- intelligent systems
- black box
- meta learning
- soft computing
- theorem proving
- first order logic
- computational intelligence
- neural network
- discrete event
- inference rules
- automated theorem proving
- artificial intelligence
- term rewriting
- formal proof
- natural deduction
- search strategies
- simulation model
- inductive learning
- dynamic systems
- evolutionary computation
- class labels
- model selection
- knowledge acquisition
- proof search
- bayesian networks
- machine learning