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)

• On the complexity of inconsistency measurement
• BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
• The Bayesian ontology language \(\mathcal {BEL}\)
• Efficient Reasoning for Inconsistent Horn Formulae

This page was built for software: HgMUS