Login / Signup
Automated specification inference in a combined domain via user-defined predicates.
Shengchao Qin
Guanhua He
Wei-Ngan Chin
Florin Craciun
Mengda He
Zhong Ming
Published in:
Sci. Comput. Program. (2017)
Keyphrases
</>
user defined
data types
query language
domain specific
domain independent
query processor
data model
probabilistic inference
bayesian inference
semi automated
bayesian networks
data structure
belief networks
conceptual models
inference process