Yehia Hatab
Betreute Arbeiten
Abschlussarbeiten
- Bachelorarbeit: "An ASP-based Implementation and Evaluation of Inference Operators for Inconsistency-Tolerant Reasoning", Themenangebot
- Masterarbeit: "Algorithms for Inconsistency Measures in Description Logic", Themenangebot
- Masterarbeit:"Inconsistency measures for modal logic", Themenangebot
10.07.2024
