Dedicated tabling for a probabilistic setting
From MaRDI portal
Publication:2883085
DOI10.4230/LIPICS.ICLP.2010.124zbMATH Open1237.68190OpenAlexW1502405167MaRDI QIDQ2883085FDOQ2883085
Gerda Janssens, Theofrastos Mantadelis
Publication date: 11 May 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_952e.html
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
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Cited In (10)
- Aspmc: new frontiers of algebraic answer set counting
- Probabilistic abstract argumentation frameworks, a possible world view
- Stochastic table arrays
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Probabilistic (logic) programming concepts
- A general approach to reasoning with probabilities
- Compacting Boolean Formulae for Inference in Probabilistic Logic Programming
- Declarative probabilistic logic programming in discrete-continuous domains
- A probabilistic model revealing shortcomings in Lua's hybrid tables
Uses Software
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)
