Pages that link to "Item:Q1813497"
From MaRDI portal
The following pages link to A logic for reasoning about probabilities (Q1813497):
Displaying 50 items.
- Knowledge, awareness and probabilistic beliefs (Q2099076) (← links)
- On measure quantifiers in first-order arithmetic (Q2117748) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- A probabilistic deontic logic (Q2146062) (← links)
- A logic and computation for Popper's conditional probabilities (Q2146066) (← links)
- Models, coproducts and exchangeability: notes on states on Baire functions (Q2164048) (← links)
- A probabilistic logic between \(LPP_1\) and \(LPP_2\) (Q2169137) (← links)
- Multi-agent logics for reasoning about higher-order upper and lower probabilities (Q2183579) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events (Q2237146) (← links)
- Logics of imprecise comparative probability (Q2237162) (← links)
- Deciding Koopman's qualitative probability (Q2238703) (← links)
- Towards classifying propositional probabilistic logics (Q2250552) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics (Q2254631) (← links)
- Merging the local and global approaches to probabilistic satisfiability (Q2270380) (← links)
- Completeness theorems for \(\sigma \)-additive probabilistic semantics (Q2291370) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- The logic of qualitative probability (Q2321338) (← links)
- Probabilistic satisfiability and coherence checking through integer programming (Q2344365) (← links)
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers (Q2350218) (← links)
- A simple logic for reasoning about incomplete knowledge (Q2353977) (← 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)
- Logics with lower and upper probability operators (Q2411262) (← links)
- Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities (Q2424888) (← links)
- Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds (Q2426104) (← links)
- SLAP: specification logic of actions with probability (Q2447174) (← links)
- Consistency checking and querying in probabilistic databases under integrity constraints (Q2453564) (← 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)
- Rules of proof for maximal entropy inference (Q2677855) (← links)
- The probability nesting game (Q2842598) (← links)
- Exogenous Probabilistic Computation Tree Logic (Q2870286) (← links)
- A p-adic probability logic (Q2910981) (← links)
- Super-Solutions (Q2946725) (← links)
- An Equation-Based Classical Logic (Q2947458) (← links)
