On the strong equivalences of LP^MLN programs
From MaRDI portal
Publication:5020550
Authors: Bin Wang, Jun Shen, Zhizheng Zhang, Shu Tao Zhang 
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.08238
Recommendations
- On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs
- Strongly equivalent logic programs
- Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
- Strong equivalence made easy: nested expressions and weight constraints
- Infinitary equilibrium logic and strongly equivalent logic programs
Cites Work
- Strongly equivalent logic programs
- Markov logic networks
- Discovering classes of strongly equivalent logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics in Artificial Intelligence
- Logic Programming and Nonmonotonic Reasoning
- Complexity results for answer set programming with bounded predicate arities and implications
- Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
- Exploiting contextual knowledge for hybrid classification of visual objects
This page was built for publication: On the strong equivalences of \(\mathrm{LP}^\mathrm{MLN}\) programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020550)
