Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
From MaRDI portal
Recommendations
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
- Dedicated tabling for a probabilistic setting
- Logic Programming
- Approximate Inference for Logic Programs with Annotated Disjunctions
Cited in
(18)- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Probabilistic inductive constraint logic
- Learning hierarchical probabilistic logic programs
- Abduction with probabilistic logic programming under the distribution semantics
- Dedicated tabling for a probabilistic setting
- Infinite probability computation by cyclic explanation graphs
- SLGAD resolution for inference on logic programs with annotated disjunctions
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Applying the information bottleneck to statistical relational learning
- Structure learning of probabilistic logic programs by searching the clause space
- Tabling with answer subsumption: implementation, applications and performance
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Optimizing probabilities in probabilistic logic programs
- MAP inference for probabilistic logic programming
- Learning effect axioms via probabilistic logic programming
- Tabling for infinite probability computation
- Exploiting uncertainty for querying inconsistent description logics knowledge bases
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs
This page was built for publication: Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883089)
