Reasoning about knowledge and probability
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- On the progression of belief
- Regression and progression in stochastic domains
- Specifying and reasoning about uncertain agents
- Probabilistic semantics and calculi for multi-valued and paraconsistent logics
- scientific article; zbMATH DE number 7444845 (Why is no real title available?)
- Sequent calculus and data fusion
- Some first-order probability logics
- The logic of qualitative probability
- Probabilistic Common Knowledge Among Infinite Number of Agents
- Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems
- Probabilistic logic over paths
- The effort of reasoning: modelling the inference steps of boundedly rational agents
- Universal knowledge-belief structures
- Characterizing the common prior assumption.
- Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond
- Modular Markovian Logic
- Reasoning about knowledge of unawareness
- An infinitary probability logic for type spaces
- Epistemic probability logic simplified
- Modeling belief in dynamic systems. I: Foundations
- Group Belief
- A logical formalization of the OCC theory of emotions
- Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
- Dealing with logical omniscience: expressiveness and pragmatics
- Universally rational belief hierarchies
- Populational announcement logic (PPAL)
- scientific article; zbMATH DE number 4145875 (Why is no real title available?)
- Probabilistic temporal logic with countably additive semantics
- Towards logical foundations for probabilistic computation
- Probabilistic logics with independence and confirmation
- Probabilistic Algorithmic Knowledge
- Agent Uncertainty Model and Quantum Mechanics Representation: Non-locality Modeling
- scientific article; zbMATH DE number 1735954 (Why is no real title available?)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- A logic with approximate conditional probabilities that can model default reasoning
- Probabilistic modelling, inference and learning using logical theories
- Characterizing common priors in the form of posteriors
- The well-designed logical robot: learning and experience from observations to the Situation Calculus
- A survey on temporal logics for specifying and verifying real-time systems
- Probabilities on sentences in an expressive logic
- SLAP: specification logic of actions with probability
- Some New Probability Operators
- Probabilistic belief logic and its probabilistic Aumann semantics
- Local possibilistic logic
- A finite model construction for coalgebraic modal logic
- Communication strategies in games
- A logical approach to multilevel security of probabilistic systems
- A metrized duality theorem for Markov processes
- Rational belief hierarchies
- Knowledge, probability, and adversaries
- Multi-agent logics for reasoning about higher-order upper and lower probabilities
- Reasoning with global assumptions in arithmetic modal logics
- A computationally grounded logic of graded belief
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
- Towards classifying propositional probabilistic logics
- Coalgebraic Hybrid Logic
- A modal logic for mixed strategies
- Reasoning about knowledge and conditional probability
- A model of reasoning about knowledge
- scientific article; zbMATH DE number 6987096 (Why is no real title available?)
- A possible worlds semantics for trustworthy non-deterministic computations
- Probability logic for type spaces
- Measure Logic
- A probabilistic semantics for belief logic
- Towards lifted inference under maximum entropy for probabilistic relational FO-PCL knowledge bases
- Contemporary epistemic logic and the Lockean thesis
- A logical theory of localization
- Reasoning about group responsibility for exceeding risk threshold in one-shot games
- Belief revision and incongruity: is it a joke?*
- Dynamic epistemic logics
- Coalgebraic semantics of modal logics: an overview
- Learnability with PAC semantics for multi-agent beliefs
- Common knowledge revisited
- Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics
- Agreeing to disagree in probabilistic dynamic epistemic~logic
- A discourse on guessing and reasoning
- Dynamic update with probabilities
- Are there degrees of belief?
- A probabilistic deontic logic
- Conditional Probability Logic over Conditional Probability Spaces
- Subjective reasoning -- dynamic games
- Probabilistic epistemic logic based on neighborhood semantics
- A logic for bounded multi-agent reasoning: deductive inference, introspection, and attribution
- A family of graded epistemic logics
- Probabilistic reasoning in a classical logic
- Propositional logics for the Lawvere quantale
- Robot location estimation in the situation calculus
- Modal logic interpretation of Dempster-Shafer theory: An infinite case
- The complexity of satisfiability in non-iterated and iterated probabilistic logics
- scientific article; zbMATH DE number 7453144 (Why is no real title available?)
- A modal logic of epistemic games
- Logics with Probability Operators
- On counting propositional logic and Wagner's hierarchy
- Justification Logics with Probability Operators
- Logic and probabilistic update
- A logic with probabilistic Jaccard similarity
- Intuitive Probability Logic
- The cognitive structure of surprise: looking for basic principles
- Do what you know: coupling knowledge with action in discrete-event systems
- Why bother with syntax?
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)
