Pages that link to "Item:Q1606297"
From MaRDI portal
The following pages link to Computing intersections of Horn theories for reasoning with models (Q1606297):
Displaying 8 items.
- On the Boolean connectivity problem for Horn relations (Q608293) (← links)
- Horn approximations of empirical data (Q1855210) (← links)
- Disjunctions of Horn theories and their cores (Q2784452) (← links)
- Deductive inference for the interiors and exteriors of horn theories (Q2946672) (← links)
- Join on Closure Systems Using Direct Implicational Basis Representation (Q3627735) (← links)
- (Q4040341) (← links)
- On the difference of Horn theories (Q5929916) (← links)
- Matroid Horn functions (Q6187338) (← links)