Dr. Yasir Mahmood

Member -

Data Science / Heinz Nixdorf Institute
Member - PostDoc
Knowledge representation and reasoning, Explainable AI
Transregional Collaborative Research Centre 318
Member - Associated Collegiate
Associated Postfoctoral Researcher
E-Mail:
yasir.mahmood@uni-paderborn.de
Web:
Homepage (Extern)
Office Address:
Technologiepark 6
33100 Paderborn
Room:
TP6.3.303

Bridging AI and formal logic: creating systems that reason rigorously, manage contradictions, and explain their decisions

About Yasir Mahmood

I am a Postdoctoral Researcher specializing in Knowledge Representation and Reasoning, with a particular emphasis on the Theory of Argumentation, Inconsistency-Tolerant Reasoning, and Explainable AI. My work explores the intersection of formal logic and artificial intelligence, aiming to develop systems that can reason effectively under uncertainty, handle conflicting information gracefully, and provide transparent explanations for their decisions. I am passionate about advancing the theoretical foundations of AI to create robust, reliable, and interpretable intelligent systems.

Research

Research Interests

My research is mainly in the following areas:

  • Theoretical Computer Science
  • Mathematical Logic
  • Knowledge Representation and Reasoning
  • Explainable AI

Feel free to write me if you are interested in collaborating (or writing a thesis) on any of the following topics.

  • Formal Argumentation: Theory and Applications
  • Abductive Reasoning
  • Contrastive Explanations
  • (Parameterized) Complexity Theory
  • Reasoning with Inconsistencies 
  • Description Logics
  • Database Repairs and Consistent Query Answering

Publications

Latest Publications

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

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

Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework

Y. Mahmood, A. Meier, J. Schmidt, ACM Transactions on Computational Logic 24 (2023) 1–25.

DOI

Show all publications

Teaching


Current Courses

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

Additional Activities

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

  • Sub-reviewer:​
    • AAAI'21, IJCAI'21
    • AAAI’22, Euro-Par’22, IJCAI’22
    • AAAI’23, CSL’23, IJCAI’23, KR’23
    • AAAI’24, FoIKS’24, LPNMR'24
  • PC: AAMAS'24, IJCAI'24

Currently, I am serving as a program committee (PC) member for the following veneus.

Further, I frequently review papers for the following journals:

  • ACM-TOCL, Applied Sciences, Annals of Pure and Applied Logic