P-log: refinement and a new coherency condition

DOI10.1007/S10472-019-09620-2MaRDI QIDQ2317975zbMATH OpenOpenAlexFDO

Authors Evgenii Balai, Michael Gelfond, Yuanlin Zhang

Publication date 13 August 2019

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-019-09620-2

zbMATH Keywords

probabilistic inferenceknowledge representationanswer-set programming

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Probabilistic reasoning with answer sets
• Logic Programming and Nonmonotonic Reasoning
• Causal and probabilistic reasoning in P-log
• Probabilistic logic programming
• Revising Probabilistic Prolog Programs

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 140417 (Why is no real title available?)
• scientific article; zbMATH DE number 978240 (Why is no real title available?)
• scientific article; zbMATH DE number 1493045 (Why is no real title available?)
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• Answering queries from context-sensitive probabilistic knowledge bases
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Causal and probabilistic reasoning in P-log
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• On the semantics and complexity of probabilistic logic programs
• Partial Functions and Equality in Answer Set Programming
• Probabilistic (logic) programming concepts
• Probabilistic Horn abduction and Bayesian networks
• Probabilistic description logic programs
• Probabilistic logic programming
• Probabilistic reasoning with answer sets
• Probability Theory
• The independent choice logic for modelling multiple agents under uncertainty
• Towards answer set programming with sorts
• Vicious circle principle and formation of sets in ASP based languages
• Vicious circle principle and logic programs with aggregates

Cited in

(3)

• Embracing background knowledge in the analysis of actual causality: an answer set programming approach
• On the strong equivalences for \(\mathrm{LP^{MLN}}\) programs
• Causal and probabilistic reasoning in P-log

Describes a project that uses

Uses Software

• PRISM
• CP-logic
• ProbLog

This page was built for publication: P-log: refinement and a new coherency condition

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