Dedicated tabling for a probabilistic setting
From MaRDI portal
Recommendations
- Tabling for infinite probability computation
- Infinite probability computation by cyclic explanation graphs
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
- On the Efficient Execution of ProbLog Programs
- Model checking with probabilistic tabled logic programming
Cited in
(16)- A general approach to reasoning with probabilities
- Probabilistic abstract argumentation frameworks, a possible world view
- Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
- Infinite probability computation by cyclic explanation graphs
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Stochastic table arrays
- Compacting Boolean formulae for inference in probabilistic logic programming
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Model checking with probabilistic tabled logic programming
- Tabling for infinite probability computation
- Tabular, a schema-driven probabilistic programming language
- A probabilistic model revealing shortcomings in Lua's hybrid tables
- Aspmc: new frontiers of algebraic answer set counting
- Declarative probabilistic logic programming in discrete-continuous domains
- Probabilistic (logic) programming concepts
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
This page was built for publication: Dedicated tabling for a probabilistic setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883085)
