A semantical framework for supporting subjective and conditional probabilities in deductive databases

DOI10.1007/BF00881836zbMATH Open0784.68082MaRDI QIDQ1311410

V. S. Subrahmanian, Raymond T. Ng

Publication date: 27 March 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

probability theorydeductive databasesreasoning with uncertaintyfixpoint theorysubjective and conditional probabilities

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Cites Work

• Fuzzy sets
• Probabilistic logic
• Belief, awareness, and limited reasoning
• Concerning measures in first order calculi
• An Efficient Unification Algorithm
• A logic for reasoning about probabilities
• Bilattices and the semantics of logic programming
• Fuzzy algorithms
• The logical foundations of statistical inference
• Quantitative deduction and its fixpoint theory
• Probability logic
• Evidential support logic programming
• Paraconsistent disjunctive deductive databases
• 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?)
• 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?)
• 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?)
• Title not available (Why is that?)

Cited In (20)

• Query evaluation in probabilistic relational databases
• Using Histograms to Better Answer Queries to Probabilistic Logic Programs
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• A core language for fuzzy answer set programming
• Focused most probable world computations in probabilistic logic programs
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Interpreting disjunctive logic programs based on a strong sense of disjunction
• Aggregated fuzzy answer set programming
• A Logical Approach to Qualitative and Quantitative Reasoning
• A new approach to hybrid probabilistic logic programs
• Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
• Stable semantics for probabilistic deductive databases
• The theory of interval probabilistic logic programs
• Probabilistic description logic programs under inheritance with overriding for the semantic Web
• Reasoning with Uncertainty in Deductive Databases and Logic Programs
• Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
• On Theorem Proving in Annotated Logics
• Combining probabilistic logic programming with the power of maximum entropy
• Anytime deduction for probabilistic logic
• Quantitative Logic Programming Revisited

This page was built for publication: A semantical framework for supporting subjective and conditional probabilities in deductive databases

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