Probabilistic logic programming
From MaRDI portal
Publication:1207942
DOI10.1016/0890-5401(92)90061-JzbMath0781.68038OpenAlexW2078843353MaRDI QIDQ1207942
V. S. Subrahmanian, Raymond T. Ng
Publication date: 16 May 1993
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0890-5401(92)90061-j
Related Items (61)
Probabilistic modelling, inference and learning using logical theories ⋮ A logical theory of localization ⋮ Probabilistic logic with independence ⋮ Probabilistic description logic programs under inheritance with overriding for the semantic Web ⋮ A new approach to hybrid probabilistic logic programs ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ Probabilistic reasoning in a classical logic ⋮ A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency ⋮ Super-Solutions ⋮ On the Complexity of Probabilistic Abstract Argumentation Frameworks ⋮ Unnamed Item ⋮ Forecasting with jury-based probabilistic argumentation ⋮ Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks ⋮ A new probabilistic constraint logic programming language based on a generalised distribution semantics ⋮ Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds ⋮ On efficiently estimating the probability of extensions in abstract argumentation frameworks ⋮ Robot location estimation in the situation calculus ⋮ Unnamed Item ⋮ Quantitative pharmacophore models with inductive logic programming ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ A Logical Approach to Qualitative and Quantitative Reasoning ⋮ Focused most probable world computations in probabilistic logic programs ⋮ Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction ⋮ On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control ⋮ Consistency checking and querying in probabilistic databases under integrity constraints ⋮ A TUPLE-ORIENTED ALGORITHM FOR DEDUCTION IN A FUZZY RELATIONAL DATABASE ⋮ On the complexity of inference about probabilistic relational models ⋮ Annotated nonmonotonic rule systems ⋮ Answering queries from context-sensitive probabilistic knowledge bases ⋮ Query evaluation in probabilistic relational databases ⋮ An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) ⋮ On the independence requirement in Dempster-Shafer theory for combining classifiers providing statistical evidence ⋮ A Survey of First-Order Probabilistic Models ⋮ Uncertain inheritance and recognition as probabilistic default reasoning ⋮ Using Histograms to Better Answer Queries to Probabilistic Logic Programs ⋮ On the complexity of propositional and relational credal networks ⋮ Speeding up parameter and rule learning for acyclic probabilistic logic programs ⋮ Probabilization of logics: completeness and decidability ⋮ A top-\(k\) query answering procedure for fuzzy logic programming ⋮ Probabilistic logic programming ⋮ On the independence requirement in Dempster-Shafer theory for combining classifiers providing statistical evidence ⋮ A declarative semantics for CLP with qualification and proximity ⋮ A framework for management of semistructured probabilistic data ⋮ Probabilistic reasoning with answer sets ⋮ New Advances in Logic-Based Probabilistic Modeling by PRISM ⋮ Quantitative Logic Programming Revisited ⋮ Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty ⋮ CP-logic: A language of causal probabilistic events and its relation to logic programming ⋮ Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs ⋮ Annotated fuzzy logic programs ⋮ P-log: refinement and a new coherency condition ⋮ Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices ⋮ The theory of interval probabilistic logic programs ⋮ Reasoning with Uncertainty in Deductive Databases and Logic Programs ⋮ Semantics for Possibilistic Disjunctive Programs ⋮ Fuzzy types: A framework for handling uncertainty about types of objects ⋮ Probabilistic satisfiability and coherence checking through integer programming ⋮ Approximate reasoning by similarity-based SLD resolution. ⋮ Combining probabilistic logic programming with the power of maximum entropy
Cites Work
- Redundancy in mathematical programming. A state-of-the-art survey
- Probability logic
- Probabilistic logic
- Evidential support logic programming
- Paraconsistent disjunctive deductive databases
- Probabilistic logic programming
- The logical foundations of statistical inference
- Concerning measures in first order calculi
- A kripke-kleene semantics for logic programs*
- Quantitative deduction and its fixpoint theory
- An Efficient Unification Algorithm
- The Paraconsistent Logics PJ
- Bilattices and the semantics of logic programming
- Fuzzy sets
- Fuzzy algorithms
- The Paraconsistent Logics PJ
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Probabilistic logic programming
