Pages that link to "Item:Q1813497"
From MaRDI portal
The following pages link to A logic for reasoning about probabilities (Q1813497):
Displaying 50 items.
- A quantitative approach to belief revision in structured probabilistic argumentation (Q287765) (← links)
- \(p\)-adic probability logics (Q344035) (← links)
- Collapsing probabilistic hierarchies. I (Q384407) (← links)
- Focused most probable world computations in probabilistic logic programs (Q454145) (← links)
- Hierarchies of probabilistic logics (Q465583) (← links)
- Conditional \(p\)-adic probability logic (Q465585) (← links)
- Conditional belief types (Q485774) (← links)
- Belief functions on distributive lattices (Q490415) (← links)
- Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm (Q533178) (← links)
- Dealing with logical omniscience: expressiveness and pragmatics (Q543593) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- Query evaluation in probabilistic relational databases (Q673389) (← links)
- Quantification over propositional formulas in probability logic: decidability issues (Q695788) (← links)
- Probabilistic unawareness (Q725064) (← links)
- Combining probabilistic logic programming with the power of maximum entropy (Q814608) (← links)
- Probabilistic logic under coherence: complexity and algorithms (Q819942) (← links)
- Rational acceptance and conjunctive/disjunctive absorption (Q853785) (← links)
- NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach (Q877263) (← links)
- A probabilistic logic based on the acceptability of gambles (Q881801) (← links)
- Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation (Q881802) (← links)
- Inconsistency as qualified truth: a probability logic approach (Q962927) (← links)
- Reasoning about knowledge of unawareness (Q1036579) (← links)
- The theory of interval probabilistic logic programs (Q1039578) (← links)
- A semantical framework for supporting subjective and conditional probabilities in deductive databases (Q1311410) (← links)
- Anytime deduction for probabilistic logic (Q1337678) (← links)
- The relationship between knowledge, belief, and certainty (Q1354089) (← links)
- Some first-order probability logics (Q1583250) (← links)
- Probabilistic satisfiability with imprecise probabilities (Q1605686) (← links)
- A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments (Q1605690) (← links)
- Probabilistic logics with independence and confirmation (Q1685481) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Sequent calculus for classical logic probabilized (Q1712933) (← links)
- Generalized probabilistic satisfiability (Q1744442) (← links)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics (Q1783740) (← links)
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- A probabilistic approach to navigation in Hypertext (Q1818980) (← links)
- Complexity results for structure-based causality. (Q1852862) (← links)
- Axiomatization of frequent itemsets (Q1853610) (← links)
- Characterizing the common prior assumption. (Q1867530) (← links)
- Direct algorithms for checking consistency and making inferences from conditional probability assessments (Q1888857) (← links)
- A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)
- An infinitary probability logic for type spaces (Q1932650) (← links)
- Probability logic of finitely additive beliefs (Q1959219) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- A propositional dynamic logic with qualitative probabilities (Q1961927) (← links)
- Reasoning about rationality (Q2013339) (← links)
- A modal logic for mixed strategies (Q2016081) (← links)
- Automated non-monotonic reasoning in System \textbf{P} (Q2043430) (← links)
- An epistemic probabilistic logic with conditional probabilities (Q2055800) (← links)
- A probabilistic semantics for belief logic (Q2075282) (← links)
