Probabilistic logic programming

DOI10.1016/0890-5401(92)90061-JzbMATH Open0781.68038OpenAlexW2078843353MaRDI QIDQ1207942FDOQ1207942

Authors: 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

Recommendations

• Probabilistic logic programming with conditional constraints
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming
• On the semantics and complexity of probabilistic logic programs

zbMATH Keywords

model semantics\(SLD\)-resolutionfixpoint semantic

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Fuzzy sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic logic
• Concerning measures in first order calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Efficient Unification Algorithm
• Bilattices and the semantics of logic programming
• Probabilistic logic programming
• Fuzzy algorithms
• The logical foundations of statistical inference
• A kripke-kleene semantics for logic programs*
• Quantitative deduction and its fixpoint theory
• Probability logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Redundancy in mathematical programming. A state-of-the-art survey
• Title not available (Why is that?)
• Evidential support logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Paraconsistent Logics PJ
• Paraconsistent disjunctive deductive databases
• Title not available (Why is that?)
• The Paraconsistent Logics PJ

Cited In (only showing first 100 items - show all)

• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• On the implementation of the probabilistic logic programming language ProbLog
• Probabilistic logic programming with conditional constraints
• Declarative probabilistic programming with Datalog
• Logic Programming
• Query evaluation in probabilistic relational databases
• Probabilistic programming inference via intensional semantics
• A top-\(k\) query answering procedure for fuzzy logic programming
• Probabilistic modelling, inference and learning using logical theories
• Logic Programming
• Parameter estimation in stochastic logic programs
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• On the complexity of inference about probabilistic relational models
• Approximate reasoning by similarity-based SLD resolution.
• Probabilization of logics: completeness and decidability
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Fuzzy types: A framework for handling uncertainty about types of objects
• On the independence requirement in Dempster-Shafer theory for combining classifiers providing statistical evidence
• Title not available (Why is that?)
• On efficiently estimating the probability of extensions in abstract argumentation frameworks
• Hybrid probabilistic logic programs as residuated logic programs
• A logical theory of localization
• A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
• Reasoning with uncertainty in deductive databases and logic programs
• CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
• Focused most probable world computations in probabilistic logic programs
• Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
• The distribution semantics for normal programs with function symbols
• Annotated nonmonotonic rule systems
• On the Efficient Execution of ProbLog Programs
• Probabilistic reasoning in a classical logic
• A Logical Approach to Qualitative and Quantitative Reasoning
• Robot location estimation in the situation calculus
• A new approach to hybrid probabilistic logic programs
• Uncertain inheritance and recognition as probabilistic default reasoning
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• Revising Probabilistic Prolog Programs
• New Advances in Logic-Based Probabilistic Modeling by PRISM
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• Probabilistic logic programming
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Probabilistic (logic) programming concepts
• On the complexity of probabilistic abstract argumentation frameworks
• Logic Programming and Nonmonotonic Reasoning
• Editorial. Probabilistic logic programming (PLP'14)
• Annotated fuzzy logic programs
• A declarative semantics for CLP with qualification and proximity
• The theory of interval probabilistic logic programs
• Probabilistic description logic programs under inheritance with overriding for the semantic Web
• Probabilistic reasoning with answer sets
• Using histograms to better answer queries to probabilistic logic programs
• Probabilistic inductive logic programming. Theory and applications
• A Survey of First-Order Probabilistic Models
• Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
• Probabilistic agent programs
• Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
• ProbLog Technology for Inference in a Probabilistic First Order Logic
• PRL: a probabilistic relational language
• Logic Programming
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• Combining probabilistic logic programming with the power of maximum entropy
• An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version)
• Title not available (Why is that?)
• Negative probabilities in probabilistic logic programs
• On the complexity of propositional and relational credal networks
• Consistency checking and querying in probabilistic databases under integrity constraints
• Title not available (Why is that?)
• Probabilistic satisfiability and coherence checking through integer programming
• Logic Programming and Nonmonotonic Reasoning
• Answering queries from context-sensitive probabilistic knowledge bases
• On the semantics and complexity of probabilistic logic programs
• Statistical statements in probabilistic logic programming
• Quantitative Logic Programming Revisited
• Probabilistic logic with independence
• P-log: refinement and a new coherency condition
• Quantitative pharmacophore models with inductive logic programming
• Speeding up parameter and rule learning for acyclic probabilistic logic programs
• Semirings for probabilistic and neuro-symbolic logic programming
• Multi-class Prediction Using Stochastic Logic Programs
• Special issue on probabilistic logic programming (PLP 2018)
• On the independence requirement in Dempster-Shafer theory for combining classifiers providing statistical evidence
• Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
• Title not available (Why is that?)
• Agent-oriented probabilistic logic programming
• Languages for probabilistic modeling over structured and relational domains
• Title not available (Why is that?)
• Who shaves the barber, and with what probability?
• Super-Solutions
• Forecasting with jury-based probabilistic argumentation
• Title not available (Why is that?)
• Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• A TUPLE-ORIENTED ALGORITHM FOR DEDUCTION IN A FUZZY RELATIONAL DATABASE
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Modularity of P-log programs
• Optimizing probabilities in probabilistic logic programs
• A framework for management of semistructured probabilistic data
• Explanations as programs in probabilistic logic programming
• Random logic programs: linear model
• Sound and complete SLD-resolution for bilattice-based annotated logic programs

This page was built for publication: Probabilistic logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1207942)