Reasoning about knowledge and conditional probability
From MaRDI portal
Publication:6064254
DOI10.1016/j.ijar.2023.109037OpenAlexW4387007960MaRDI QIDQ6064254
Šejla Dautović, Zoran Ognjanović, Dragan Doder
Publication date: 12 December 2023
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2023.109037
Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An analysis of first-order logics of probability
- Approximating common knowledge with common beliefs
- Decidability and expressiveness for first-order logics of probability
- Anytime deduction for probabilistic logic
- First order common knowledge logics
- The hierarchical approach to modeling knowledge and common knowledge
- A logic for reasoning about probabilities
- An epistemic probabilistic logic with conditional probabilities
- Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
- Probabilistic consensus of the blockchain protocol
- From statistical knowledge bases to degrees of belief
- Probability Logics
- A first-order conditional probability logic
- Knowledge and common knowledge in a distributed environment
- Reasoning about knowledge and probability
- Some considerations on the logics PFD A logic combining modality and probability
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- A First-order Logic for Reasoning about Knowledge and Probability
- Logics in Artificial Intelligence
This page was built for publication: Reasoning about knowledge and conditional probability