HgMUS

MaRDI QIDQ55821swMATHFDO

Official website https://arxiv.org/abs/1505.04365

Described by source

• Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing

Cited in

(13)

• BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
• Ltur
• CEL
• BEACON
• Just
• On the complexity of inconsistency measurement
• ELK
• EL2MCS
• PULi
• ITI
• MediBoost
• Efficient reasoning for inconsistent Horn formulae
• The Bayesian ontology language \(\mathcal {BEL}\)

This page was built for software: HgMUS