KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description).
André PlatzerJan-David QueselPublished in: IJCAR (2008)
Keyphrases
- theorem prover
- hybrid systems
- intelligent systems
- black box
- theorem proving
- inference rules
- first order logic
- term rewriting
- computational intelligence
- meta learning
- neural network
- soft computing
- formal proof
- discrete event
- artificial intelligence
- proof search
- natural deduction
- decision trees
- data model
- expert systems