Pages that link to "Item:Q3453236"
From MaRDI portal
The following pages link to Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236):
Displaying 7 items.
- HgMUS (Q55821) (← links)
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications (Q2104519) (← links)
- On the complexity of inconsistency measurement (Q2321337) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← links)
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies (Q2818038) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)
- On Tackling Explanation Redundancy in Decision Trees (Q5041018) (← links)
