Pages that link to "Item:Q2270380"
From MaRDI portal
The following pages link to Merging the local and global approaches to probabilistic satisfiability (Q2270380):
Displaying 15 items.
- Projection, consistency, and George Boole (Q265702) (← links)
- Sequential decision making with partially ordered preferences (Q646545) (← links)
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation (Q899162) (← links)
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (Q905995) (← links)
- Variable neighbourhood search: methods and applications (Q970194) (← links)
- Variable neighbourhood search: Methods and applications (Q1029572) (← links)
- Logic optimality for multi-objective optimization (Q1049318) (← links)
- Towards classifying propositional probabilistic logics (Q2250552) (← links)
- Probabilistic sentence satisfiability: an approach to PSAT (Q2287193) (← links)
- Probabilistic satisfiability and coherence checking through integer programming (Q2344365) (← links)
- Probabilistic logic with independence (Q2379311) (← links)
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases (Q2411265) (← links)
- A Hybrid Method for Probabilistic Satisfiability (Q5200036) (← links)
- Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy (Q5268422) (← links)
- Syntactic reasoning with conditional probabilities in deductive argumentation (Q6108761) (← links)
