Pages that link to "Item:Q1575175"
From MaRDI portal
The following pages link to Semantical and computational aspects of Horn approximations (Q1575175):
Displaying 8 items.
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Is intractability of nonmonotonic reasoning a real drawback? (Q1391905) (← links)
- Semantical and computational aspects of Horn approximations (Q1575175) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- The universe of propositional approximations (Q2369011) (← links)
- First order LUB approximations: characterization and algorithms (Q2457687) (← links)
- Belief Update Within Propositional Fragments (Q3451174) (← links)
- SAT-Based Horn Least Upper Bounds (Q3453244) (← links)
