Pages that link to "Item:Q1383996"
From MaRDI portal
The following pages link to Automated deduction techniques for classification in description logic systems (Q1383996):
Displaying 4 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Inductive Logic Programming (Q5494320) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)