Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
From MaRDI portal
Publication:2883089
DOI10.4230/LIPIcs.ICLP.2010.162zbMath1237.68049OpenAlexW2170561649MaRDI QIDQ2883089
Fabrizio Riguzzi, Terrance Swift
Publication date: 11 May 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0982.html
program transformationtablingprobabilistic logic programminganswer subsumptionlogic programs with annotated disjunction
Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)
Related Items (11)
Structure learning of probabilistic logic programs by searching the clause space ⋮ Bandit-based Monte-Carlo structure learning of probabilistic logic programs ⋮ Applying the information bottleneck to statistical relational learning ⋮ Learning Effect Axioms via Probabilistic Logic Programming ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control ⋮ MAP Inference for Probabilistic Logic Programming ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Probabilistic inductive constraint logic ⋮ Learning hierarchical probabilistic logic programs ⋮ Abduction with probabilistic logic programming under the distribution semantics ⋮ Optimizing Probabilities in Probabilistic Logic Programs
Uses Software
This page was built for publication: Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
