Pages that link to "Item:Q1766742"
From MaRDI portal
The following pages link to Pseudo-models and propositional Horn inference (Q1766742):
Displaying 4 items.
- Inference flexibility in Horn clause knowledge bases and the simplex method (Q1319393) (← links)
- Polynomial-time inference of all valid implications for Horn and related formulae (Q1356205) (← links)
- Closure spaces that are not uniquely generated (Q1766744) (← links)
- Closure-based constraints in formal concept analysis (Q2446833) (← links)