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", in Bearbeitung
- Masterarbeit:"Inconsistency measures for modal logic", in Bearbeitung
10.07.2024
