The following pages link to Stefan Schlobach (Q2060750):
Displaying 7 items.
- Knowledge graphs as tools for explainable machine learning: a survey (Q2060751) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Debugging incoherent terminologies (Q2462643) (← links)
- (Q2701985) (← links)
- (Q3007243) (← links)
- Tableau calculus for local cubic modal logic and its implementation (Q4934884) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)