Analytic Tableaux and Model Elimination.
Jo ColdwellGraham WrightsonPublished in: Aust. Comput. J. (1998)
Keyphrases
- neural network
- formal model
- databases
- probabilistic model
- management system
- real time
- database
- search engine
- parameter values
- experimental data
- computational model
- parameter estimation
- network model
- input data
- graphical models
- evolutionary algorithm
- artificial neural networks
- expert systems
- high level
- case study
- e learning
- data mining