ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving.
Stefan MitschAndrew SogokonYong Kiam TanXiangyu JinBohua ZhanShuling WangNaijun ZhanPublished in: ARCH@CPSIoTWeek (2019)
Keyphrases
- theorem proving
- hybrid systems
- first order logic
- discrete event
- black box
- theorem prover
- intelligent systems
- soft computing
- neural network
- meta learning
- inference rules
- artificial intelligence
- proof planning
- parallel search
- computational intelligence
- geometry theorem proving
- consequence finding
- dynamic systems
- evolutionary computation
- training samples
- rough sets
- knowledge representation
- artificial neural networks
- decision trees