A logic with higher order conditional probabilities
From MaRDI portal
(Redirected from Publication:3510452)
Recommendations
- scientific article; zbMATH DE number 1122846
- scientific article; zbMATH DE number 1904893
- Logics in Artificial Intelligence
- A logic with conditional probability operators
- A first-order conditional probability logic
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- A first-order logic for reasoning about higher-order upper and lower probabilities
- Conditional Probability Logic over Conditional Probability Spaces
- Probability logic with conditional expectation
- Reasoning about conditional probabilities in a higher-order-logic theorem prover
Cited in
(21)- A logic with conditional probability operators
- Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
- Logics in Artificial Intelligence
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
- Some New Probability Operators
- Past probabilities
- A first-order conditional probability logic
- A p-adic probability logic
- A first-order conditional probability logic with iterations
- A first-order logic for reasoning about higher-order upper and lower probabilities
- On the logic of high probability
- Applications of Logics About Simple Probabilities
- Logics with Probability Operators
- A logic with probabilistic Jaccard similarity
- A probabilistic logic between \(LPP_1\) and \(LPP_2\)
- \(p\)-adic probability logics
- Biprobability logic with conditional expectation
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- A logic with measurable spaces for natural language semantics
- Probability logic with conditional expectation
- scientific article; zbMATH DE number 1904893 (Why is no real title available?)
This page was built for publication: A logic with higher order conditional probabilities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510452)
