![](https://pm.uni-paderborn.de/_Resources/Persistent/Thumbnails/310x310/99353.png)
Dr. Yasir Mahmood
Mitglied -
- E-Mail:
- yasir.mahmood@uni-paderborn.de
- Web:
- Homepage (Extern)
- Büroanschrift:
-
Technologiepark 6
33100 Paderborn - Raum:
- TP6.3.303
KI und formale Logik vereinen: Systeme entwickeln, die präzise schlussfolgern, Widersprüche bewältigen und ihre Entscheidungen erklärenKI und formale Logik vereinen: Systeme entwickeln, die präzise schlussfolgern, Widersprüche bewältigen und ihre Entscheidungen erklären
Über Yasir Mahmood
Ich bin Postdoktorand mit Schwerpunkt in Wissensrepräsentation und -verarbeitung, insbesondere in den Bereichen Argumentationstheorie, inkonsistenz-tolerantes Schließen und erklärbare Künstliche Intelligenz. In meiner Forschung untersuche ich die Schnittstelle zwischen formaler Logik und künstlicher Intelligenz, mit dem Ziel, Systeme zu entwickeln, die effektiv unter Unsicherheit argumentieren, widersprüchliche Informationen elegant handhaben und transparente Erklärungen für ihre Entscheidungen liefern können. Ich bin leidenschaftlich daran interessiert, die theoretischen Grundlagen der KI weiterzuentwickeln, um robuste, zuverlässige und interpretierbare intelligente Systeme zu schaffen.
Forschung
Forschungsschwerpunkte
Meine Forschung konzentriert sich hauptsächlich auf die folgenden Bereiche:
- Theoretische Informatik
- (Parametrisierte) Komplexitätstheorie
- Mathematische Logik
- Wissensrepräsentation
- Beschreibungslogiken
- Erklärbare KI
Schreiben Sie mir gerne, wenn Sie an einer Zusammenarbeit (oder dem Schreiben einer Abschlussarbeit) zu einem der folgenden Themen interessiert sind.
- Theorie und Anwendungen der Argumentation
- Abduktive Begründung
- Kontrastive Erklärungen
- Komplexitätstheorie
- Begründung mit Inkonsistenzen
Publikationen
Aktuelle Publikationen
Y. Mahmood, J. Virtema, T. Barlag, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
J. Kontinen, Y. Mahmood, A. Meier, H. Vollmer, Mathematical Structures in Computer Science (2024) 1–15.
Y. Mahmood, A. Meier, J. Schmidt, ACM Transactions on Computational Logic 24 (2023) 1–25.
J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2023.
Y. Mahmood, J. Virtema, in: Logic, Language, Information, and Computation, Springer Nature Switzerland, Cham, 2023.
Alle Publikationen anzeigen