Pages that link to "Item:Q5121267"
From MaRDI portal
The following pages link to A First-order Logic for Reasoning about Knowledge and Probability (Q5121267):
Displaying 12 items.
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Toward effective knowledge acquisition with first-order logic induction. (Q1850683) (← links)
- An epistemic probabilistic logic with conditional probabilities (Q2055800) (← links)
- Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results (Q3143566) (← links)
- (Q3476790) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Probabilistic Temporal Logics (Q5024714) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability (Q5507385) (← links)
- Reasoning about knowledge and conditional probability (Q6064254) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)
- Probabilistic temporal logic with countably additive semantics (Q6560997) (← links)