Anytime deduction for probabilistic logic
From MaRDI portal
Publication:1337678
DOI10.1016/0004-3702(94)90079-5zbMath0809.03016OpenAlexW1999924358MaRDI QIDQ1337678
Publication date: 8 November 1994
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(94)90079-5
Related Items (46)
Probabilistic logic under coherence: complexity and algorithms ⋮ Direct algorithms for checking consistency and making inferences from conditional probability assessments ⋮ Probabilistic description logic programs under inheritance with overriding for the semantic Web ⋮ A probabilistic deontic logic ⋮ Graphical models for imprecise probabilities ⋮ Expressive probabilistic description logics ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ Inconsistency measures for probabilistic logics ⋮ A probabilistic logic based on the acceptability of gambles ⋮ Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation ⋮ Logics with lower and upper probability operators ⋮ Multi-agent logics for reasoning about higher-order upper and lower probabilities ⋮ Reasoning About Degrees of Confirmation ⋮ Probabilistic logic revisited ⋮ Weighted Deductive Parsing and Knuth's Algorithm ⋮ Reasoning about knowledge and conditional probability ⋮ Generalizing probabilistic material implication and Bayesian conditionals ⋮ Syntactic reasoning with conditional probabilities in deductive argumentation ⋮ Fuzzy functional dependencies and Bayesian networks ⋮ Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation ⋮ Sequent calculus for classical logic probabilized ⋮ Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction ⋮ Weak nonmonotonic probabilistic logics ⋮ On the complexity of inference about probabilistic relational models ⋮ The complexity of satisfying constraints on databases of transactions ⋮ A Survey of First-Order Probabilistic Models ⋮ An anytime deduction algorithm for the probabilistic logic and entailment problems ⋮ Itemset frequency satisfiability: complexity and axiomatization ⋮ PROBLEM SOLVING WITH INSUFFICIENT RESOURCES ⋮ Merging the local and global approaches to probabilistic satisfiability ⋮ Automatic derivation of probabilistic inference rules ⋮ New Advances in Logic-Based Probabilistic Modeling by PRISM ⋮ Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP ⋮ An epistemic probabilistic logic with conditional probabilities ⋮ A logic for reasoning about probabilities ⋮ Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web ⋮ Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic ⋮ Unnamed Item ⋮ Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations ⋮ Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding ⋮ Axiomatization of frequent itemsets ⋮ Probabilistic satisfiability and coherence checking through integer programming ⋮ A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments ⋮ Logics with Probability Operators ⋮ Probabilized Sequent Calculus and Natural Deduction System for Classical Logic ⋮ Combining probabilistic logic programming with the power of maximum entropy
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An analysis of first-order logics of probability
- Probabilistic logic
- Variable precision logic
- Correctness criteria of some algorithms for uncertain reasoning using incidence calculus
- On the uncertainties transmitted from premises to conclusions in deductive inferences
- A semantical framework for supporting subjective and conditional probabilities in deductive databases
- A logic for reasoning about probabilities
- Incidence calculus: A mechanism for probabilistic reasoning
- Probabilistic logic revisited
This page was built for publication: Anytime deduction for probabilistic logic
