Just

swMATH16743MaRDI QIDQ28611FDOQ28611

Author name not available (Why is that?)

Official website: https://lat.inf.tu-dresden.de/~michel/publications/ore2014.pdf

Cited In (10)

• BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
• Ltur
• CEL
• Chainsaw
• BEACON
• VoCol
• EL2MCS
• HgMUS
• Understanding the complexity of axiom pinpointing in lightweight description logics
• Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing

This page was built for software: Just