Pages that link to "Item:Q4299011"
From MaRDI portal
The following pages link to Reasoning about knowledge and probability (Q4299011):
Displaying 50 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Contemporary epistemic logic and the Lockean thesis (Q301338) (← links)
- A logical theory of localization (Q310092) (← links)
- Agreeing to disagree in probabilistic dynamic epistemic~logic (Q484932) (← links)
- Conditional belief types (Q485774) (← links)
- A logic for reasoning about ambiguity (Q490518) (← links)
- Dealing with logical omniscience: expressiveness and pragmatics (Q543593) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Robot location estimation in the situation calculus (Q901076) (← links)
- Dynamic update with probabilities (Q1035842) (← links)
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- Extending probabilistic dynamic epistemic logic (Q1036062) (← links)
- Reasoning about knowledge of unawareness (Q1036579) (← links)
- A model of reasoning about knowledge (Q1286688) (← links)
- Common knowledge revisited (Q1295439) (← links)
- Modeling belief in dynamic systems. I: Foundations (Q1389534) (← links)
- Probabilistic belief logic and its probabilistic Aumann semantics (Q1412128) (← links)
- Are there degrees of belief? (Q1427346) (← links)
- Characterizing common priors in the form of posteriors (Q1572940) (← links)
- Some first-order probability logics (Q1583250) (← links)
- Probabilistic logics with independence and confirmation (Q1685481) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics (Q1783740) (← links)
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- Characterizing the common prior assumption. (Q1867530) (← links)
- An infinitary probability logic for type spaces (Q1932650) (← links)
- Probability logic of finitely additive beliefs (Q1959219) (← links)
- A modal logic for mixed strategies (Q2016081) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- An epistemic probabilistic logic with conditional probabilities (Q2055800) (← links)
- A probabilistic semantics for belief logic (Q2075282) (← links)
- A probabilistic deontic logic (Q2146062) (← links)
- Multi-agent logics for reasoning about higher-order upper and lower probabilities (Q2183579) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- Towards classifying propositional probabilistic logics (Q2250552) (← links)
- Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics (Q2254631) (← links)
- A general approach to reasoning with probabilities (Q2283285) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- The logic of qualitative probability (Q2321338) (← links)
- A family of graded epistemic logics (Q2333311) (← links)
- A modal logic of epistemic games (Q2344955) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Specifying and reasoning about uncertain agents (Q2379313) (← links)
- A logic with approximate conditional probabilities that can model default reasoning (Q2379314) (← links)
- Subjective reasoning -- dynamic games (Q2387313) (← links)
- Probabilistic reasoning in a classical logic (Q2390656) (← links)
- Logics with lower and upper probability operators (Q2411262) (← links)
