1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 1 cited
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…
cs.LO2019
On the Strong Equivalences for LPMLN Programs
Bin Wang, Jun Shen, Shutao Zhang +1
LPMLN is a powerful knowledge representation and reasoning tool that combines the non-monotonic reasoning ability of Answer Set Programming (ASP) and the probabilistic reasoning ab…