The distribution semantics for normal programs with function symbols
From MaRDI portal
Recommendations
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Logic Programming
- A semantics for hybrid probabilistic logic programs with function symbols
- Probabilistic logic programming
Cites work
- scientific article; zbMATH DE number 3123490 (Why is no real title available?)
- scientific article; zbMATH DE number 193660 (Why is no real title available?)
- scientific article; zbMATH DE number 1753155 (Why is no real title available?)
- scientific article; zbMATH DE number 1836559 (Why is no real title available?)
- scientific article; zbMATH DE number 3326329 (Why is no real title available?)
- scientific article; zbMATH DE number 3335736 (Why is no real title available?)
- Abducing through negation as failure: stable models within the independent choice logic
- CP-logic: A language of causal probabilistic events and its relation to logic programming
- Infinite probability computation by cyclic explanation graphs
- Logic Programming
- Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
- Model checking with probabilistic tabled logic programming
- On the implementation of the probabilistic logic programming language ProbLog
- Probabilistic (logic) programming concepts
- Probabilistic Horn abduction and Bayesian networks
- Tabling for infinite probability computation
- Terminating evaluation of logic programs with finite three-valued models
- The Independent Choice Logic and Beyond
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- The independent choice logic for modelling multiple agents under uncertainty
- The well-founded semantics for general logic programs
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
Cited in
(8)- Causal inference in cplint
- MAP inference for probabilistic logic programming
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- Abduction with probabilistic logic programming under the distribution semantics
- A semantics for hybrid probabilistic logic programs with function symbols
- Lifted discriminative learning of probabilistic logic programs
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
This page was built for publication: The distribution semantics for normal programs with function symbols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q313122)
