scientific article
From MaRDI portal
Publication:2752129
zbMath1015.68198MaRDI QIDQ2752129
Brigitte Jaumard, Pierre Hansen
Publication date: 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
probability intervalsautomated theorem provingsatisfiability problemsprobabilistic maximum satisfiability
Related Items (16)
The differential of probabilistic entailment ⋮ Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ Syntactic reasoning with conditional probabilities in deductive argumentation ⋮ Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation ⋮ Probabilistic satisfiability: algorithms with the presence and absence of a phase transition ⋮ Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics ⋮ Sequential decision making with partially ordered preferences ⋮ Quantitative Logic Reasoning ⋮ Deciding Koopman's qualitative probability ⋮ Towards classifying propositional probabilistic logics ⋮ Merging the local and global approaches to probabilistic satisfiability ⋮ Rota's Fubini lectures: the first problem ⋮ A Hybrid Method for Probabilistic Satisfiability ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ A polynomial-time fragment of epistemic probabilistic argumentation ⋮ Probabilistic satisfiability and coherence checking through integer programming
This page was built for publication:
