Model theory of deduction: a unified computational approach.
Bruno G. BaraMonica BucciarelliVincenzo LombardoPublished in: Cogn. Sci. (2001)
Keyphrases
- computational model
- theoretical framework
- probabilistic model
- formal model
- data model
- mathematical model
- sensitivity analysis
- similarity measure
- computational models
- network model
- conceptual framework
- markov random field
- parameter estimation
- database
- computer algebra
- statistical model
- theorem proving
- process model
- least squares
- probability distribution
- cost function
- objective function
- high level
- image segmentation
- information systems
- artificial intelligence
- learning algorithm
- neural network