The following pages link to BEACON (Q28610):
Displaying 8 items.
- Counting minimal unsatisfiable subsets (Q832272) (← links)
- Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678) (← links)
- Enumerating justifications using resolution (Q1799123) (← links)
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications (Q2104519) (← links)
- The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495) (← links)
- Pinpointing axioms in ontologies via ASP (Q2694580) (← links)
- BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies (Q2818038) (← links)
- Efficient Reasoning for Inconsistent Horn Formulae (Q2835881) (← links)