HgMUS

swMATH40121MaRDI QIDQ55821FDOQ55821

Author name not available (Why is that?)

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
• On the complexity of inconsistency measurement
• Ltur
• CEL
• BEACON
• Just
• ELK
• EL2MCS
• PULi
• Efficient reasoning for inconsistent Horn formulae
• ITI
• MediBoost
• The Bayesian ontology language \(\mathcal {BEL}\)

This page was built for software: HgMUS