HgMUS

swMATH40121MaRDI QIDQ55821

No author found.

Described by source

• Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

Related Items (4)

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

This page was built for software: HgMUS