On the Strong Equivalences of LPMLN Programs

Bin Wang, Jun Shen, Shutao Zhang +1

By incorporating the methods of Answer Set Programming (ASP) and Markov Logic Networks (MLN), LPMLN becomes a powerful tool for non-monotonic, inconsistent and uncertain knowledge…