Probabilistic satisfiability

MaRDI QIDQ2752129zbMATH OpenFDO

Authors Pierre Hansen, Brigitte Jaumard

Publication date 2000

zbMATH Keywords

automated theorem provingprobabilistic maximum satisfiabilityprobability intervalssatisfiability problems

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem
• Probabilistic satisfiability
• A linear programming approach to reasoning about probabilities
• A hybrid method for probabilistic satisfiability
• Easy cases of probabilistic satisfiability

Cited in

(30)

• Probabilistic satisfiability
• A linear programming approach to reasoning about probabilities
• Probabilistic satisfiability with imprecise probabilities
• Probability logic and optimization SAT: The PSAT and CPA models
• Rota's Fubini lectures: the first problem
• Automated non-monotonic reasoning in System \textbf{P}
• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• Deciding Koopman's qualitative probability
• Towards classifying propositional probabilistic logics
• Merging the local and global approaches to probabilistic satisfiability
• Probabilistic sentence satisfiability: an approach to PSAT
• A polynomial-time fragment of epistemic probabilistic argumentation
• Probabilistic satisfiability and coherence checking through integer programming
• Easy cases of probabilistic satisfiability
• Refinement-oriented probability for CSP
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• The differential of probabilistic entailment
• A probabilistic study on the satisfiability problem
• Quantitative logic reasoning
• scientific article; zbMATH DE number 69384 (Why is no real title available?)
• scientific article; zbMATH DE number 1335882 (Why is no real title available?)
• A hybrid method for probabilistic satisfiability
• Probabilistic satisfiability and coherence checking through integer programming
• Solutions for hard and soft constraints using optimized probabilistic satisfiability
• Syntactic reasoning with conditional probabilities in deductive argumentation
• Sequential decision making with partially ordered preferences
• Probabilistic approach to the satisfiability problem
• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
• An anytime deduction algorithm for the probabilistic logic and entailment problems

This page was built for publication: Probabilistic satisfiability

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