CP-logic
From MaRDI portal
Cited in
(41)- DeepProbLog
- Dsharp
- SOLAR
- WHIRL
- MEBN
- Causal inference in cplint
- ProbLog
- YAP-Prolog
- PITA
- Abduction with probabilistic logic programming under the distribution semantics
- IBAL
- Church
- FACTORIE
- Probabilistic causes in Markov chains
- A semantics for hybrid probabilistic logic programs with function symbols
- Probabilistic abstract argumentation frameworks, a possible world view
- P-log: refinement and a new coherency condition
- Forgetting auxiliary atoms in forks
- Hakaru
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
- PrASP
- The distribution semantics for normal programs with function symbols
- MayBMS
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- PR-OWL
- BLOG
- cplint
- MCINTYRE
- PRISM
- Swift
- Logic-based decision support for strategic environmental assessment
- Tuffy
- Figaro
- ASPTools
- Structure learning of probabilistic logic programs by searching the clause space
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Embracing events in causal modelling: interventions and counterfactuals in CP-logic
- Negative probabilities in probabilistic logic programs
- Probabilistic (logic) programming concepts
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- An OpenCL implementation of a forward sampling algorithm for CP-logic
This page was built for software: CP-logic
