Reasoning about knowledge and probability
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Dynamic update with probabilities
- A logical formalization of the OCC theory of emotions
- Extending probabilistic dynamic epistemic logic
- Reasoning about knowledge of unawareness
- A model of reasoning about knowledge
- Common knowledge revisited
- Modeling belief in dynamic systems. I: Foundations
- Probabilistic belief logic and its probabilistic Aumann semantics
- Are there degrees of belief?
- Characterizing common priors in the form of posteriors
- Some first-order probability logics
- Probabilistic logics with independence and confirmation
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- Modal logic interpretation of Dempster-Shafer theory: An infinite case
- Characterizing the common prior assumption.
- An infinitary probability logic for type spaces
- Probability logic of finitely additive beliefs
- A modal logic for mixed strategies
- A computationally grounded logic of graded belief
- An epistemic probabilistic logic with conditional probabilities
- A probabilistic semantics for belief logic
- A probabilistic deontic logic
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Populational announcement logic (PPAL)
- Towards classifying propositional probabilistic logics
- Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics
- A general approach to reasoning with probabilities
- Regression and progression in stochastic domains
- The logic of qualitative probability
- A family of graded epistemic logics
- A modal logic of epistemic games
- A verification framework for agent programming with declarative goals
- Specifying and reasoning about uncertain agents
- A logic with approximate conditional probabilities that can model default reasoning
- Subjective reasoning -- dynamic games
- Probabilistic reasoning in a classical logic
- Logics with lower and upper probability operators
- A survey on temporal logics for specifying and verifying real-time systems
- Rational belief hierarchies
- Substantive assumptions in interaction: a logical perspective
- Probabilities on sentences in an expressive logic
- SLAP: specification logic of actions with probability
- Comments to `Logics of public communications'
- The cognitive structure of surprise: looking for basic principles
- Universal knowledge-belief structures
- A finite model construction for coalgebraic modal logic
- Graded epistemic logic with public announcement
- A metrized duality theorem for Markov processes
- Reasoning with global assumptions in arithmetic modal logics
- Intuitive Probability Logic
- Modular Markovian Logic
- Contemporary epistemic logic and the Lockean thesis
- Logics of belief over weighted structures
- A logical theory of localization
- Why bother with syntax?
- scientific article; zbMATH DE number 7444845 (Why is no real title available?)
- Probabilistic Common Knowledge Among Infinite Number of Agents
- Towards lifted inference under maximum entropy for probabilistic relational FO-PCL knowledge bases
- scientific article; zbMATH DE number 4145875 (Why is no real title available?)
- Measure Logic
- Coalgebraic Hybrid Logic
- Agent Uncertainty Model and Quantum Mechanics Representation: Non-locality Modeling
- Interpreting an action from what we perceive and what we expect
- Communication strategies in games
- Knowledge, probability, and adversaries
- scientific article; zbMATH DE number 1735954 (Why is no real title available?)
- Local possibilistic logic
- Reasoning about bounds in weighted transition systems
- Epistemic probability logic simplified
- Agreeing to disagree in probabilistic dynamic epistemic~logic
- Conditional belief types
- A logic for reasoning about ambiguity
- Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
- scientific article; zbMATH DE number 7453144 (Why is no real title available?)
- Logics with Probability Operators
- Some New Probability Operators
- Justification Logics with Probability Operators
- Group Belief
- Reasoning About Degrees of Confirmation
- A logical approach to multilevel security of probabilistic systems
- Conditional Probability Logic over Conditional Probability Spaces
- Logics for dynamic epistemic behavioral strategies
- Dynamic epistemic logics
- Logic and probabilistic update
- Probabilistic Algorithmic Knowledge
- Universally rational belief hierarchies
- Probabilistic logic over paths
- Dealing with logical omniscience: expressiveness and pragmatics
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- Introduction (to the special issue on: Economics and artificial intelligence)
- Probability logic for type spaces
- Sequent calculus and data fusion
- Reasoning about knowledge and conditional probability
- Belief revision and incongruity: is it a joke?*
- Do what you know: coupling knowledge with action in discrete-event systems
- Intuitionistic propositional probability logic
- The effort of reasoning: modelling the inference steps of boundedly rational agents
- On counting propositional logic and Wagner's hierarchy
This page was built for publication: Reasoning about knowledge and probability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4299011)
