scientific article; zbMATH DE number 2046116

zbMATH Open1090.68105MaRDI QIDQ4451078FDOQ4451078

Authors: Joseph Y. Halpern 

Publication date: 23 February 2004

Title of this publication is not available (Why is that?)

Recommendations

• Reasoning about uncertainty
• scientific article; zbMATH DE number 48812
• scientific article; zbMATH DE number 54117
• Uncertain Inference
• The Uncertain Reasoner's Companion

zbMATH Keywords

Bayesian networksbelief revisiondefault reasoningreasoning about counterfactualssemantics of default

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Reasoning under uncertainty in the context of artificial intelligence (68T37) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27)

Cited In (only showing first 100 items - show all)

• The consistency argument for ranking functions
• An accuracy argument in favor of ranking theory
• Weak and strong limit theorems for stochastic processes under nonadditive probability
• Bayesian revision of a prior given prior-data conflict, expert opinion, or a similar insight: a large-deviation approach
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• Fuzzy memberships as likelihood functions in a possibilistic framework
• Probabilistic modelling, inference and learning using logical theories
• Communication strategies in games
• An algebraic treatment of imprecise probabilities
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Probabilization of logics: completeness and decidability
• Manipulating games by sharing information
• Rational acceptance and conjunctive/disjunctive absorption
• Possibilistic conditioning framed in fuzzy logics
• Uncertainty and persistence: a Bayesian update semantics for probabilistic expressions
• Probabilistic unawareness
• A necessary condition of Pontryagin type for fuzzy control systems
• A belief revision framework for revising epistemic states with partial epistemic states
• Belief revision generalized: a joint characterization of Bayes' and Jeffrey's rules
• Plausible reasoning and graded information: a unified approach
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Learning to assign degrees of belief in relational domains
• Random and fuzzy sets in coarse data analysis
• Conditionalization and total knowledge
• Probabilistic reasoning in a classical logic
• Guessing Under Source Uncertainty
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Completeness for counter-doxa conditionals -- using ranking semantics
• Why bother with syntax?
• Fuzzy optimal control problem of several variables
• Reasoning about rationality
• An elementary belief function logic
• Credence for conclusions: a brief for Jeffrey's rule
• Uncertainty, learning, and the ``problem of dilation
• Probabilistic reasoning with graphical security models
• Boolean algebras of conditionals, probability and logic
• Title not available (Why is that?)
• Logic of convex order
• Comments to `Logics of public communications'
• A necessary condition of Pontryagin type for fuzzy fractional optimal control problems
• Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
• A Survey of Ranking Theory
• A Bayesian interpretation of the Monty Hall problem with epistemic uncertainty
• Reasoning with different levels of uncertainty
• Geometrical aspects of possibility measures on finite domain MV-clans
• Applied logic without psychologism
• Open-world probabilistic databases: semantics, algorithms, complexity
• Title not available (Why is that?)
• Complex fuzzy sets and complex fuzzy logic an overview of theory and applications
• The logic of qualitative probability
• Assessing climate model projections: state of the art and philosophical reflections
• Bisimulation for conditional modalities
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Lost in translation: unknowable propositions in probabilistic frameworks
• The complexity of Bayesian networks specified by propositional and relational languages
• Logics of imprecise comparative probability
• Keep changing your beliefs, aiming for the truth
• Probabilistic satisfiability and coherence checking through integer programming
• Kuznetsov independence for interval-valued expectations and sets of probability distributions: properties and algorithms
• Reasoning about uncertainty
• A formal approach to the problem of logical non-omniscience
• Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)
• Title not available (Why is that?)
• Decision making in the environment of heterogeneous uncertainty
• A logico-geometric comparison of coherence for non-additive uncertainty measures
• Towards logical foundations for probabilistic computation
• Rationality as conformity
• Simultaneous belief updates via successive Jeffrey conditionalization
• Belief functions on MV-algebras of fuzzy sets: an overview
• PROBABILISTIC STABILITY, AGM REVISION OPERATORS AND MAXIMUM ENTROPY
• Probabilities on sentences in an expressive logic
• Tracking probabilistic truths: a logic for statistical learning
• Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
• A bridge between probability and possibility in a comparative framework
• Conditional objects as possibilistic variables
• The extent of partially resolving uncertainty in assessing coherent conditional plausibilities
• Connectionist computations of intuitionistic reasoning
• Markov conditions and factorization in logical credal networks
• Towards lifted inference under maximum entropy for probabilistic relational FO-PCL knowledge bases
• Achieving parametric uniformity for knowledge bases in a relational probabilistic conditional logic with maximum entropy semantics
• A modal representation of graded medical statements
• Soundness and completeness results for LEA and probability semantics
• Degree supervaluational logic
• Evidence with uncertain likelihoods
• Probability logic, logical probability, and inductive support
• Title not available (Why is that?)
• On counting propositional logic and Wagner's hierarchy
• Agency and Interaction What We Are and What We Do in Formal Epistemology
• Epistemic justification: its subjective and its objective ways
• Preserving confidentiality while reacting on iterated queries and belief revisions
• Towards Logical Specification of Statistical Machine Learning
• Curry and Howard meet Borel
• Learning from what's right and learning from what's wrong
• From statistical relational to neurosymbolic artificial intelligence: a survey
• A discrete duality between nonmonotonic consequence relations and convex geometries
• An algebraic theory for data linkage
• Title not available (Why is that?)
• The impossibility of agreeing to disagree: an extension of the sure-thing principle
• The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws
• Approximate algorithms for credal networks with binary variables

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451078)