Causal and probabilistic reasoning in P-log

MaRDI QIDQ2996262zbMATH OpenFDO

Authors Nelson Rushton, Michael Gelfond

Publication date 6 May 2011

zbMATH Keywords

Answer Set Prolog (ASP)CR-Prologknowledge representationP-logP-log semantics

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• Probabilistic reasoning with answer sets
• P-log: refinement and a new coherency condition
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Probabilistic logic with independence

Cited in

(6)

• P-log: refinement and a new coherency condition
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Representing Causal Information About a Probabilistic Process
• Causal dependencies in multiplicative linear logic with MIX
• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 2213612 (Why is no real title available?)

This page was built for publication: Causal and probabilistic reasoning in P-log

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