Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations.
Timo KehrerAbdullah M. AlshanqitiReiko HeckelPublished in: ICMT (2017)
Keyphrases
- high level
- computational model
- mathematical model
- formal model
- specification language
- rule based systems
- bayesian inference
- theoretical framework
- gibbs sampling
- dynamic bayesian networks
- probabilistic inference
- prediction model
- real world
- parameter estimation
- input data
- bayesian networks
- similarity measure
- genetic algorithm
- information retrieval