Merging the local and global approaches to probabilistic satisfiability
From MaRDI portal
Publication:2270380
Recommendations
Cites work
- scientific article; zbMATH DE number 5838699 (Why is no real title available?)
- scientific article; zbMATH DE number 3854804 (Why is no real title available?)
- scientific article; zbMATH DE number 3984614 (Why is no real title available?)
- scientific article; zbMATH DE number 4079381 (Why is no real title available?)
- scientific article; zbMATH DE number 48344 (Why is no real title available?)
- scientific article; zbMATH DE number 1285158 (Why is no real title available?)
- scientific article; zbMATH DE number 3249560 (Why is no real title available?)
- scientific article; zbMATH DE number 3070150 (Why is no real title available?)
- A Linear Programming Approach to the Cutting Stock Problem—Part II
- A Linear Programming Approach to the Cutting-Stock Problem
- A linear programming approach to reasoning about probabilities
- A logic for reasoning about probabilities
- An anytime deduction algorithm for the probabilistic logic and entailment problems
- Anytime deduction for probabilistic logic
- Best Possible Inequalities for the Probability of a Logical Function of Events
- Boole's conditions of possible experience and reasoning under uncertainty
- Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
- Column Generation Methods for Probabilistic Logic
- Direct algorithms for checking consistency and making inferences from conditional probability assessments
- Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
- Mathematical methods of organizing and planning production. English translation by Robert W. Campbell and W. H. Marlow
- On cautious probabilistic inference and default detachment
- On the uncertainties transmitted from premises to conclusions in deductive inferences
- Probabilistic logic
- Probabilistic logic revisited
- Probabilistic satisfiability
- Probabilistic satisfiability
- Stabilized column generation
- State-of-the-Art Survey—Constrained Nonlinear 0–1 Programming
- Stochastic independence in a coherent setting
- Variable Neighborhood Search
- Variable neighborhood search
Cited in
(15)- Probabilistic logic with independence
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Projection, consistency, and George Boole
- Variable neighbourhood search: Methods and applications
- Towards classifying propositional probabilistic logics
- Variable neighbourhood search: methods and applications
- Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy
- A hybrid method for probabilistic satisfiability
- Sequential decision making with partially ordered preferences
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
- Logic optimality for multi-objective optimization
- Probabilistic sentence satisfiability: an approach to PSAT
- Syntactic reasoning with conditional probabilities in deductive argumentation
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
- Probabilistic satisfiability and coherence checking through integer programming
This page was built for publication: Merging the local and global approaches to probabilistic satisfiability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2270380)
