Dr. Yasir Mahmood

Mitglied -

Data Science / Heinz Nixdorf Institut
Mitglied - Postdoc
Wissensrepräsentation, Argumentation, und Erklärbare KI
Sonderforschungsbereich Transregio 318
Mitglied - Assoziierter Kollegiat
Assoziierter Postdoktorand
E-Mail:
yasir.mahmood@uni-paderborn.de
Web:
Homepage (Extern)
Büro­anschrift:
Fürstenallee 11
33102 Paderborn
Raum:
F1.307

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
  • Mathematische Logik
  • Wissensrepräsentation
  • Erklärbare KI

Schreiben Sie mir gerne, wenn Sie an einer Zusammenarbeit (oder dem Schreiben einer Abschlussarbeit) zu einem der folgenden Themen interessiert sind.

  1. Formale Argumentation: Theorie und Anwendungen
  2. Abduktives Denken
  3. Kontrastive Erklärungen
  4. (Parameterisierte) Komplexitätstheorie
  5. Denken mit Inkonsistenzen
  6. Beschreibungslogiken
  7. Datenbankreparaturen und konsistente Abfragebeantwortung 

Publikationen

Aktuelle Publikationen

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation

Y. Mahmood, J. Virtema, T. Barlag, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.

DOI

Quantitative Claim-Centric Reasoning in Logic-Based Argumentation

M. Hecher, Y. Mahmood, A. Meier, J. Schmidt, in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2024.

DOI

Parameterized Complexity of Weighted Team Definability

J. Kontinen, Y. Mahmood, A. Meier, H. Vollmer, Mathematical Structures in Computer Science (2024) 1–15.

DOI

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases

Y. Mahmood, M. Hecher, A.-C. Ngonga Ngomo, ArXiv:2412.11617 (2024).

arXiv

Rejection in Abstract Argumentation: Harder Than Acceptance?

J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Frontiers in Artificial Intelligence and Applications, IOS Press, 2024.

DOI

Alle Publikationen anzeigen

Lehre

Schwerpunkte in der Lehre

The following thesis topics are currently available:

  1. An implementation of a consistent query answering algorithm for databases (Master's/Bachelor's; proficiency in Java required)
  2. Finding new tractable algorithms for consistent query answering in databases (Master's; knowledge of relational databases or first-order logics desirable)
  3. Argumentation in practice (Master's/Bachelor's; willingness to apply theory to practical challenges)
  4. Complexity of Reasoning in formal logics (Master's/Bachelor's, foundational knowledge of computability and complexity)

Laufende Lehrveranstaltungen

  • Project Group: Contrastive Explanations for Knowledge Graphs (in English)

Weitere Lehraktivitäten

I enjoy reviewing and have had the opportunity to review for the following conferences. 

  • Sub-reviewer:​
    • The AAAI Conference on Artificial Intelligence: (AAAI-21, AAAI-22, AAAI-23, AAAI-24)
    • International Joint Conference on Artificial Intelligence: (IJCAI-21, IJCAI-22, IJCAI-23, IJCAI-24)
    • The 28th International European Conference on Parallel and Distributed Computing (EuroPar-22)
    • International Conference of the European Association for Computer Science Logic (CSL-23)
    • The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR-23)
    • The 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS-24)
    • The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-24)
  • Program Committee:
    • The 33rd International Joint Conference on Artificial Intelligence (IJCAI-24)
    • The 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-24)
    • The 39th AAAI Conference on Artificial Intelligence (AAAI-25)
    • The 24th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-25)
    • The 34th International Joint Conference on Artificial Intelligence (IJCAI-25)
    • The 6th International Conference on Logic and Argumentation (CLAR-25)
    • The 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS-26)
  • Publicity Chair:

    • The 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS-26)

       

  • Currently, I am serving on the Program Committee for IJCAI-25 & CLAR-25 and Publicity Chair for  FoIKS-26

Further, I frequently review papers for the following journals:

  • ACM Transactions on Computational Logic (ACM-TOCL)
  • Journal of Applied Sciences
  • Annals of Pure and Applied Logic
  • Knowledge Engineering Review