Pages that link to "Item:Q1813497"
From MaRDI portal
The following pages link to A logic for reasoning about probabilities (Q1813497):
Displayed 50 items.
- 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)
- 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)
- 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)
- Probability logic of finitely additive beliefs (Q1959219) (← links)
- Linking theories in probabilistic programming (Q1961866) (← links)
- A propositional dynamic logic with qualitative probabilities (Q1961927) (← links)
- Merging the local and global approaches to probabilistic satisfiability (Q2270380) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- Probabilistic description logic programs under inheritance with overriding for the semantic Web (Q2379312) (← links)
- Specifying and reasoning about uncertain agents (Q2379313) (← links)
- A logic with approximate conditional probabilities that can model default reasoning (Q2379314) (← links)
- Graphical models for imprecise probabilities (Q2386115) (← links)
- Subjective reasoning -- dynamic games (Q2387313) (← links)
- Expressive probabilistic description logics (Q2389639) (← links)
- Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence (Q2390651) (← links)
- Probabilistic argumentation (Q2390652) (← links)
- Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds (Q2426104) (← links)
- Complexity of fuzzy probability logics. II (Q2457028) (← links)
- Weak nonmonotonic probabilistic logics (Q2457653) (← links)
- Aggregating disparate estimates of chance (Q2466865) (← links)
- Itemset frequency satisfiability: complexity and axiomatization (Q2481978) (← links)
- Logics for reasoning about cryptographic constructions (Q2490263) (← links)
- Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653) (← links)
- Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding (Q2576433) (← links)
- Fundamental concepts of qualitative probabilistic networks (Q2638821) (← links)
- Intuitive Probability Logic (Q3010405) (← links)
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS (Q3427870) (← links)
- Measure Logic (Q3524924) (← links)