Keyphrases
- neural network
- first order logic
- pattern recognition
- theorem proving
- artificial neural networks
- inference rules
- neural network model
- stochastic dominance
- genetic algorithm
- higher order
- multi layer
- fuzzy systems
- multilayer perceptron
- real time
- neural nets
- quantifier elimination
- fault diagnosis
- neural network is trained
- computer algebra
- automated deduction
- rule extraction
- fuzzy neural network
- feed forward
- data mining
- data sets