On the strong equivalences for LP^MLN programs

MaRDI QIDQ5856406zbMATH OpenFDO

Authors Bin Wang, Jun Shen, Zhizheng Zhang, Shu Tao Zhang

Publication date 26 March 2021

Full work available at URL https://arxiv.org/abs/1909.03764, https://lmcs.episciences.org/7122

zbMATH Keywords

\(\mathrm{LP^{MLN}}\)answer set programmingcomputational complexitycomputing methodologieslogic programmingstrong equivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
• Strong equivalence made easy: nested expressions and weight constraints
• Strongly equivalent logic programs
• Strong order equivalence
• Semantical characterizations and complexity of equivalences in answer set programming

Cites work

• A probabilistic extension of action language \(\mathcal{BC}+\)
• Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
• Complexity results for answer set programming with bounded predicate arities and implications
• Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
• Discovering classes of strongly equivalent logic programs
• Exploiting contextual knowledge for hybrid classification of visual objects
• scientific article; zbMATH DE number 7047283 (Why is no real title available?)
• scientific article; zbMATH DE number 1884383 (Why is no real title available?)
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Logics in Artificial Intelligence
• Markov logic networks
• P-log: refinement and a new coherency condition
• Probabilistic reasoning with answer sets
• Representing action and change by logic programs
• Revising Probabilistic Prolog Programs
• Semantical characterizations and complexity of equivalences in answer set programming
• Semantics and expressiveness of disjunctive ordered logic
• Strongly equivalent logic programs
• Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs

Cited in

(2)

• Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
• On the strong equivalences of \(\mathrm{LP}^\mathrm{MLN}\) programs

Describes a project that uses

Uses Software

• ProbLog

This page was built for publication: On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5856406)