Pages that link to "Item:Q2457687"
From MaRDI portal
The following pages link to First order LUB approximations: characterization and algorithms (Q2457687):
Displaying 4 items.
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Information loss in knowledge compilation: a comparison of Boolean envelopes (Q991010) (← links)
- Learning to assign degrees of belief in relational domains (Q1009279) (← links)
- SAT-Based Horn Least Upper Bounds (Q3453244) (← links)
