12 citations · 49 across the 21 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Strong Equivalence for LPMLN Programs
Joohyung Lee, Man Luo
LPMLN is a probabilistic extension of answer set programs with the weight scheme adapted from Markov Logic. We study the concept of strong equivalence in LPMLN, which is a useful m…
cs.LO2019
Strong equivalence for programs
Man Luo
Strong equivalence is a well-studied and important concept in answer set programming (ASP). is a probabilistic extension of answer set programs with the weight schem…