Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract).
André PlatzerPublished in: SC-Square@ISSAC (2023)
Keyphrases
- theorem proving
- computer algebra
- hybrid systems
- theorem prover
- computer algebra systems
- first order logic
- black box
- intelligent systems
- inference rules
- neural network
- meta learning
- soft computing
- discrete event
- computational intelligence
- artificial intelligence
- proof planning
- parallel search
- geometry theorem proving
- consequence finding
- fuzzy logic
- simulation model
- modal logic
- intelligent agents
- knowledge base
- feature selection