Pages that link to "Item:Q3546348"
From MaRDI portal
The following pages link to On computing all abductive explanations from a propositional Horn theory (Q3546348):
Displaying 7 items.
- Unranking of small combinations from large sets (Q473209) (← links)
- Self-duality of bounded monotone Boolean functions and related problems (Q944707) (← links)
- The approximation of implicates and explanations (Q1308780) (← links)
- What makes propositional abduction tractable (Q2389658) (← links)
- Unique key Horn functions (Q2672584) (← links)
- Consequence finding algorithms (Q2752124) (← links)
- Computer Science Logic (Q5292637) (← links)