Pages that link to "Item:Q3087434"

The following pages link to The PITA system: Tabling and answer subsumption for reasoning under uncertainty (Q3087434):

Displaying 24 items.

• PITA (Q19014) (← links)
• The distribution semantics for normal programs with function symbols (Q313122) (← links)
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs (Q324656) (← links)
• Probabilistic (logic) programming concepts (Q894692) (← links)
• Bandit-based Monte-Carlo structure learning of probabilistic logic programs (Q894703) (← links)
• An OpenCL implementation of a forward sampling algorithm for CP-logic (Q900368) (← links)
• Causal inference in cplint (Q1679666) (← links)
• Learning hierarchical probabilistic logic programs (Q2071314) (← links)
• A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
• Probabilistic abstract argumentation frameworks, a possible world view (Q2300457) (← links)
• Lifted discriminative learning of probabilistic logic programs (Q2425249) (← links)
• Infinite probability computation by cyclic explanation graphs (Q2933089) (← links)
• Constraint-Based Inference in Probabilistic Logic Programs (Q4559821) (← links)
• Viterbi training in PRISM (Q4592976) (← links)
• Structure learning of probabilistic logic programs by searching the clause space (Q4592977) (← links)
• (Q4637032) (← links)
• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
• (Q5020546) (← links)
• Efficient Knowledge Compilation Beyond Weighted Model Counting (Q5038457) (← links)
• MAP Inference for Probabilistic Logic Programming (Q5140005) (← links)
• (Q5240217) (← links)
• Learning Effect Axioms via Probabilistic Logic Programming (Q5240229) (← links)
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics (Q5299588) (← links)
• Lifted inference for statistical statements in probabilistic answer set programming (Q6064257) (← links)