Towards a Hybrid Model of First-Order Theory Refinement.
Nelson A. HallackGerson ZaveruchaValmir Carneiro BarbosaPublished in: Hybrid Neural Systems (1998)
Keyphrases
- hybrid model
- artificial neural networks
- hybrid models
- support vector regression
- back propagation neural network
- first order logic
- support vector machine svm
- forecasting accuracy
- theoretical framework
- data mining
- refinement process
- higher order
- knowledge representation
- particle swarm optimization
- genetic algorithm
- neural network
- propositional theories
- logical theories