Probabilistic satisfiability with imprecise probabilities
DOI10.1016/S0888-613X(00)00033-5zbMATH Open0995.68122OpenAlexW2046090861MaRDI QIDQ1605686FDOQ1605686
Authors: Pierre Hansen, Brigitte Jaumard, Fabien Chauny, Sylvain Perron, Marcus V. Poggi de Aragão 
Publication date: 23 July 2002
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0888-613x(00)00033-5
Recommendations
Reasoning under uncertainty in the context of artificial intelligence (68T37) Stochastic programming (90C15)
Cites Work
- Title not available (Why is that?)
- Programming with linear fractional functionals
- On Nonlinear Fractional Programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Characterization of coherent conditional probabilities as a tool for their assessment and extension
- Coherent numerical and ordinal probabilistic assessments
- Probabilistic logic
- A linear programming approach to reasoning about probabilities
- Title not available (Why is that?)
- Column Generation Methods for Probabilistic Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- A logic for reasoning about probabilities
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- State-of-the-Art Survey—Constrained Nonlinear 0–1 Programming
- The basic algorithm for pseudo-Boolean programming revisited
- Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
- On the uncertainties transmitted from premises to conclusions in deductive inferences
- Comparative probability for conditional events: A new look through coherence
- Title not available (Why is that?)
- Best Possible Inequalities for the Probability of a Logical Function of Events
- Conditional events in probability assessment and revision
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic satisfiability
- Coherent qualitative probability
- Boole's conditions of possible experience and reasoning under uncertainty
- Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem
Cited In (22)
- Compatibility, desirability, and the running intersection property
- A propositional CONEstrip algorithm
- Expressing imprecision in probabilistic knowledge
- Probabilistic satisfiability
- Computing posterior upper expectations
- An uncertainty interchange format with imprecise probabilities
- Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
- Exploring stochasticity and imprecise knowledge based on linear inequality constraints
- Conformity and independence with coherent lower previsions
- Imprecise probabilistic models based on hierarchical intervals
- A Dempster-Shafer model of imprecise assertion strategies
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
- Coherence graphs
- From imprecise to granular probabilities
- Probabilistic abduction without priors
- Mass customization and ``forecasting options' penetration rates problem
- Evaluating the uncertainty of a Boolean formula with belief functions
- Imprecise probabilistic Horn clause logic
- Probabilistic approach to the satisfiability problem
- Probabilistic satisfiability and coherence checking through integer programming
- Probabilistic satisfiability and coherence checking through integer programming
- Probability logic and optimization SAT: The PSAT and CPA models
Uses Software
This page was built for publication: Probabilistic satisfiability with imprecise probabilities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1605686)
