PULi

swMATH28623MaRDI QIDQ40337FDOQ40337

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-94205-6_40

Described by source

• Enumerating justifications using resolution

Cited In (4)

• Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications
• BEACON
• EL2MCS
• HgMUS

This page was built for software: PULi