Abstract Domains: a Model-Theoretic approach.
Dmitri BoulangerMaurice BruynooghePublished in: ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Keyphrases
- high level
- mathematical model
- formal model
- computational model
- artificial intelligence
- real world
- prior knowledge
- regression model
- model selection
- parameter values
- neural network model
- experimental data
- application domains
- parameter estimation
- theoretical analysis
- database
- maximum likelihood
- probability distribution
- probabilistic model
- case study
- decision making
- neural network