ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.
Stefan MitschAndrew SogokonYong Kiam TanAndré PlatzerHengjun ZhaoXiangyu JinShuling WangNaijun ZhanPublished in: ARCH@ADHS (2018)
Keyphrases
- theorem proving
- hybrid systems
- black box
- intelligent systems
- meta learning
- computational intelligence
- first order logic
- artificial intelligence
- inference rules
- neural network
- parallel search
- theorem prover
- discrete event
- consequence finding
- soft computing
- proof planning
- geometry theorem proving
- feature selection
- multi class
- expert systems
- machine learning