EL2MCS
From MaRDI portal
Software:40338
No author found.
Related Items (5)
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing ⋮ Understanding the complexity of axiom pinpointing in lightweight description logics ⋮ Enumerating justifications using resolution ⋮ BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies ⋮ Efficient Reasoning for Inconsistent Horn Formulae
This page was built for software: EL2MCS
