scientific article; zbMATH DE number 7453105

MaRDI QIDQ5020546

Sarthak Ghosh, C. R. Ramakrishnan

Publication date: 6 January 2022

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• ProbLog
• PITA
• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• The PITA system: Tabling and answer subsumption for reasoning under uncertainty
• Optimal Value of Information in Graphical Models
• Special issue: abductive logic programming
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Algorithms and Applications for the Same-Decision Probability
• The Independent Choice Logic and Beyond
• On the Efficient Execution of ProbLog Programs

This page was built for publication: