The model evolution calculus as a first-order DPLL method.
Peter BaumgartnerCesare TinelliPublished in: Artif. Intell. (2008)
Keyphrases
- mathematical model
- probabilistic model
- cost function
- objective function
- evaluation method
- prior knowledge
- prediction model
- statistical model
- modeling method
- similarity measure
- network model
- sensitivity analysis
- test data
- parameter estimation
- reconstruction method
- dynamic programming
- detection method
- linear model
- computational complexity
- bp neural network
- linear regression
- prior information
- statistical methods
- theoretical analysis
- bayesian framework
- significant improvement
- pairwise
- em algorithm
- tree structure
- hybrid model
- high order
- higher order
- classification method
- bayesian networks