Cited in
(15)- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Ltur
- CEL
- MUSer2
- BEACON
- Just
- ELK
- VoCol
- PULi
- QUICKXPLAIN
- HgMUS
- Understanding the complexity of axiom pinpointing in lightweight description logics
- Efficient reasoning for inconsistent Horn formulae
- Enumerating justifications using resolution
This page was built for software: EL2MCS
