PULi

MaRDI QIDQ40337swMATHFDO

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)

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

This page was built for software: PULi