Keyphrases
- timed automata
- petri net
- proof search
- model checking
- real time
- inductive learning
- rule induction
- real numbers
- type fuzzy logic systems
- database systems
- concept learning
- theorem prover
- sequent calculus
- theorem proving
- oblique decision trees
- interval analysis
- interval data
- explanation based learning
- knowledge acquisition
- neural network
- data sets