Publication:4368723
From MaRDI portal
zbMath0922.03026MaRDI QIDQ4368723
Publication date: 7 December 1997
03B48: Probability and inductive logic
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B30: Foundations of classical theories (including reverse mathematics)
60A05: Axioms; other general questions in probability
03B80: Other applications of logic
Related Items
Unnamed Item, Extension of the concept of propositional deduction from classical logic to probability: An overview of probability-selection approaches, Automatic derivation of probabilistic inference rules, Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm, Algebras of intervals and a logic of conditional assertions, Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs, Probabilistic modelling, inference and learning using logical theories, Modus ponens and modus tollens for conditional probabilities, and updating on uncertain evidence, Credal networks, Some mathematical structures for computational information, Probabilistic satisfiability with imprecise probabilities, Deduction with uncertain conditionals, A propositional probabilistic logic with discrete linear time for reasoning about evidence, Probability updating using second order probabilities and conditional event algebra, Entailment with near surety of scaled assertions of high conditional probability, Approximate algorithms for credal networks with binary variables, Graphical models for imprecise probabilities, Statistics between inductive logic and empirical science, Weak nonmonotonic probabilistic logics, Reasoning with conditionals, The complexity of satisfying constraints on databases of transactions, Aggregating disparate estimates of chance, Itemset frequency satisfiability: complexity and axiomatization
