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