EL2MCS

swMATH28624MaRDI QIDQ40338FDOQ40338

Author name not available (Why is that?)

Cited In (5)

• Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
• BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
• Understanding the complexity of axiom pinpointing in lightweight description logics
• Enumerating justifications using resolution
• Efficient Reasoning for Inconsistent Horn Formulae

This page was built for software: EL2MCS