A first-order conditional probability logic
From MaRDI portal
Recommendations
- Logics with Probability Operators
- A logic with higher order conditional probabilities
- Some first-order probability logics
- Logics in Artificial Intelligence
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- ProbLog Technology for Inference in a Probabilistic First Order Logic
- On classical logic with probability operators: a short survey
- First-order probabilistic conditional logic and maximum entropy
- scientific article; zbMATH DE number 1873277
- A logic with approximate conditional probabilities that can model default reasoning
Cited in
(17)- Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
- Probabilistic logics with independence and confirmation
- scientific article; zbMATH DE number 7450027 (Why is no real title available?)
- A first-order conditional probability logic with iterations
- Reasoning about knowledge and conditional probability
- A logic with higher order conditional probabilities
- \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- scientific article; zbMATH DE number 1873277 (Why is no real title available?)
- Logics with Probability Operators
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- \(p\)-adic probability logics
- A First-order Logic for Reasoning about Knowledge and Probability
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- An epistemic probabilistic logic with conditional probabilities
- Some first-order probability logics
- Probabilities defined on standard and non-standard cylindric set algebras
- Probabilistic Common Knowledge Among Infinite Number of Agents
This page was built for publication: A first-order conditional probability logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2903758)
