Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
From MaRDI portal
Publication:688819
DOI10.1007/BF03037184zbMath0788.68025OpenAlexW2012979684MaRDI QIDQ688819
Publication date: 28 November 1993
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037184
Related Items (18)
The distribution semantics for normal programs with function symbols ⋮ \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs ⋮ Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks ⋮ Structure learning of probabilistic logic programs by searching the clause space ⋮ A new probabilistic constraint logic programming language based on a generalised distribution semantics ⋮ Semantics and complexity of abduction from default theories ⋮ AN ARTIFICIAL NETWORK FOR REASONING IN THE CANCELLATION CLASS WITH APPLICATION TO THE DIAGNOSIS OF CELLS DIVISION ⋮ A semantics for hybrid probabilistic logic programs with function symbols ⋮ The Independent Choice Logic and Beyond ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Probabilistic inductive constraint logic ⋮ The PITA system: Tabling and answer subsumption for reasoning under uncertainty ⋮ Abductive Logic Grammars ⋮ Abduction with probabilistic logic programming under the distribution semantics ⋮ On the Efficient Execution of ProbLog Programs ⋮ Combining probabilistic logic programming with the power of maximum entropy
Cites Work
- Compiling a default reasoning system into Prolog
- Depth-first iterative-deepening: An optimal admissible tree search
- The occur-check problem in Prolog
- Negation and control in PROLOG
- A logical framework for default reasoning
- Linear resolution for consequence finding
- Probabilistic Horn abduction and Bayesian networks
- A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
- On the Relationship Between Abduction and Deduction
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
