CP-logic

swMATH6947MaRDI QIDQ19011FDOQ19011

Author name not available (Why is that?)

Described by source

• CP-logic: A language of causal probabilistic events and its relation to logic programming

Cited In (18)

• P-log: refinement and a new coherency condition
• Probabilistic causes in Markov chains
• A semantics for hybrid probabilistic logic programs with function symbols
• Probabilistic abstract argumentation frameworks, a possible world view
• Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• The distribution semantics for normal programs with function symbols
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• Probabilistic (logic) programming concepts
• Forgetting auxiliary atoms in forks
• An OpenCL implementation of a forward sampling algorithm for CP-logic
• Structure learning of probabilistic logic programs by searching the clause space
• Abduction with probabilistic logic programming under the distribution semantics
• Logic–based decision support for strategic environmental assessment
• Causal inference in cplint
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• Negative probabilities in probabilistic logic programs

This page was built for software: CP-logic