Pages that link to "Item:Q2055864"
From MaRDI portal
The following pages link to Finding good proofs for description logic entailments using recursive quality measures (Q2055864):
Displaying 4 items.
- Finding good proofs for description logic entailments using recursive quality measures (Q2055864) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Evonne: interactive proof visualization for description logics (system description) (Q2104515) (← links)
- Efficiently explaining CSPs with unsatisfiable subset optimization (Q6535423) (← links)
