scientific article; zbMATH DE number 7327937

MaRDI QIDQ5856406

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

Publication date: 26 March 2021

Full work available at URL: https://arxiv.org/abs/1909.03764

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational complexitylogic programminganswer set programmingstrong equivalencecomputing methodologies\(\mathrm{LP^{MLN}}\)

Mathematics Subject Classification ID

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

Uses Software

• ProbLog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics and expressiveness of disjunctive ordered logic
• P-log: refinement and a new coherency condition
• Complexity results for answer set programming with bounded predicate arities and implications
• Markov logic networks
• Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects
• Probabilistic reasoning with answer sets
• Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
• Representing action and change by logic programs
• Translating LPOD and CR-Prolog₂into standard answer set programs
• A Probabilistic Extension of Action Language
• Computing LP^MLN using ASP and MLN solvers
• Logic Programming
• Semantical characterizations and complexity of equivalences in answer set programming
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Revising Probabilistic Prolog Programs
• Strongly equivalent logic programs

This page was built for publication: