Automated Reasoning for Hybrid Systems - Two Case Studies -.
Peter HöfnerPublished in: RelMiCS (2008)
Keyphrases
- automated reasoning
- hybrid systems
- case study
- intelligent systems
- black box
- theorem proving
- knowledge representation
- neural network
- theorem prover
- computational intelligence
- probabilistic reasoning
- meta learning
- soft computing
- artificial intelligence
- discrete event
- development process
- search problems
- workflow systems
- real world
- data mining
- dynamic systems
- learning tasks
- evolutionary computation
- knowledge management
- fuzzy logic
- data model
- decision making
- learning algorithm