CP-logic
From MaRDI portal
Cited in
(41)- 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
- 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
- Logic-based decision support for strategic environmental assessment
- SOLAR
- MEBN
- WHIRL
- ProbLog
- PITA
- YAP-Prolog
- Church
- FACTORIE
- IBAL
- Hakaru
- PRISM
- Figaro
- PrASP
- MayBMS
- BLOG
- PR-OWL
- cplint
- MCINTYRE
- Swift
- Tuffy
- ASPTools
- 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
- Dsharp
- DeepProbLog
- Embracing events in causal modelling: interventions and counterfactuals in CP-logic
- Structure learning of probabilistic logic programs by searching the clause space
- Abduction with probabilistic logic programming under the distribution semantics
- 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
