On the Strong Equivalences for LPMLN Programs

Bin Wang 0061, Jun Shen, Shutao Zhang, Zhizheng Zhang. On the Strong Equivalences for LPMLN Programs. Logical Methods in Computer Science, 17(1), 2021. [doi]

@article{WangSZZ21,
  title = {On the Strong Equivalences for LPMLN Programs},
  author = {Bin Wang 0061 and Jun Shen and Shutao Zhang and Zhizheng Zhang},
  year = {2021},
  url = {https://lmcs.episciences.org/7122},
  researchr = {https://researchr.org/publication/WangSZZ21},
  cites = {0},
  citedby = {0},
  journal = {Logical Methods in Computer Science},
  volume = {17},
  number = {1},
}