HgMUS

swMATH40121MaRDI QIDQ55821FDOQ55821

Author name not available (Why is that?)

Described by source

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

Cited In (4)

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

This page was built for software: HgMUS