On the Strong Equivalences for LPMLN Programs.

Bin Wang Jun Shen Shutao Zhang Zhizheng Zhang

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

connected components
high level
binary images
provably correct
learning algorithm
case study
multiscale
data model
relational algebra
automatic programming
control structures