Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
DOI10.4230/LIPICS.ICLP.2010.162zbMATH Open1237.68049OpenAlexW2170561649MaRDI QIDQ2883089FDOQ2883089
Authors: Fabrizio Riguzzi, Terrance Swift 
Publication date: 11 May 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0982.html
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
probabilistic logic programmingprogram transformationtablinganswer subsumptionlogic programs with annotated disjunction
Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Logic programming (68N17)
Cited In (17)
- Dedicated tabling for a probabilistic setting
- Infinite probability computation by cyclic explanation graphs
- PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
- Learning Effect Axioms via Probabilistic Logic Programming
- Applying the information bottleneck to statistical relational learning
- Tabling for infinite probability computation
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Optimizing probabilities in probabilistic logic programs
- Bandit-based Monte-Carlo structure learning of probabilistic logic programs
- Probabilistic inductive constraint logic
- SLGAD resolution for inference on logic programs with annotated disjunctions
- Structure learning of probabilistic logic programs by searching the clause space
- Learning hierarchical probabilistic logic programs
- MAP inference for probabilistic logic programming
- Abduction with probabilistic logic programming under the distribution semantics
- The PITA system: tabling and answer subsumption for reasoning under uncertainty
- Tabling with answer subsumption: implementation, applications and performance
Uses Software
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)
