Probabilistic satisfiability with imprecise probabilities
type: Item
instance of: scholarly article
title: Probabilistic satisfiability with imprecise probabilities
zbMATH Open document ID: 0995.68122
DOI: 10.1016/S0888-613X(00)00033-5
author: Pierre Hansen
author: Brigitte Jaumard
author: Fabien Chauny
author: Sylvain Perron
author: Marcus V. Poggi de Aragão
published in: International Journal of Approximate Reasoning
publication date: 2002-07-23T00:00:00Z
Mathematics Subject Classification ID: 68T37
Mathematics Subject Classification ID: 90C15
zbMATH DE Number: 1770444
zbMATH Keywords: probabilistic satisfiability
describes a project that uses: Tabu search
MaRDI profile type: Publication
cites work: On the uncertainties transmitted from premises to conclusions in deductive inferences
cites work: Q3069694
cites work: Q3883199
cites work: Programming with linear fractional functionals
cites work: Q4079613
cites work: Coherent qualitative probability
cites work: Coherent numerical and ordinal probabilistic assessments
cites work: Comparative probability for conditional events: A new look through coherence
cites work: CHARACTERIZATION OF COHERENT CONDITIONAL PROBABILITIES AS A TOOL FOR THEIR ASSESSMENT AND EXTENSION
cites work: The basic algorithm for pseudo-Boolean programming revisited
cites work: Q4094173
cites work: Q4094174
cites work: On Nonlinear Fractional Programming
cites work: A logic for reasoning about probabilities
cites work: Q4194726
cites work: Q4198056
cites work: Probabilistic satisfiability
cites work: Q3203755
cites work: Q5686989
cites work: Conditional events in probability assessment and revision
cites work: Q4354785
cites work: Best Possible Inequalities for the Probability of a Logical Function of Events
cites work: Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
cites work: Q4368723
cites work: State-of-the-Art Survey—Constrained Nonlinear 0–1 Programming
cites work: Boole's conditions of possible experience and reasoning under uncertainty
cites work: Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem
cites work: Q4495203
cites work: Column Generation Methods for Probabilistic Logic
cites work: A linear programming approach to reasoning about probabilities
cites work: Probabilistic logic
cites work: Q5599789
cites work: Q3999364
full work available at URL: s0888-613x(00)00033-5
OpenAlex ID: W2046090861
description: scientific article; zbMATH DE number 1770444