Pages that link to "Item:Q2055864"

The following pages link to Finding good proofs for description logic entailments using recursive quality measures (Q2055864):

Displaying 3 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)