Yasir Mahmood

Data Science / Heinz Nixdorf Institut
yasir.mahmood@uni-paderborn.de
ID
99353

17 Publications

Mark all

[17]
2024 | Book Chapter | LibreCat-ID: 54580
@inbook{Mahmood_Virtema_Barlag_Ngonga Ngomo_2024, place={Cham}, title={Computing Repairs Under Functional and Inclusion Dependencies via Argumentation}, DOI={10.1007/978-3-031-56940-1_2}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Nature Switzerland}, author={Mahmood, Yasir and Virtema, Jonni and Barlag, Timon and Ngonga Ngomo, Axel-Cyrille}, year={2024} }
LibreCat | DOI
 
[16]
2024 | Conference Paper | LibreCat-ID: 55655
@inproceedings{Hecher_Mahmood_Meier_Schmidt_2024, title={Quantitative Claim-Centric Reasoning in Logic-Based Argumentation}, DOI={10.24963/ijcai.2024/377}, booktitle={Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Hecher, Markus and Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2024} }
LibreCat | DOI
 
[15]
2024 | Journal Article | LibreCat-ID: 54092
@article{Kontinen_Mahmood_Meier_Vollmer_2024, title={Parameterized Complexity of Weighted Team Definability}, DOI={10.1017/S0960129524000033}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press}, author={Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Vollmer, Heribert}, year={2024}, pages={1–15} }
LibreCat | DOI
 
[14]
2024 | Preprint | LibreCat-ID: 58377
@article{Mahmood_Hecher_Ngonga Ngomo_2024, title={Dung’s Argumentation Framework: Unveiling the Expressive Power with  Inconsistent Databases}, journal={arXiv:2412.11617}, author={Mahmood, Yasir and Hecher, Markus and Ngonga Ngomo, Axel-Cyrille}, year={2024} }
LibreCat | arXiv
 
[13]
2024 | Book Chapter | LibreCat-ID: 57238
@inbook{Fichte_Hecher_Mahmood_Meier_2024, title={Rejection in Abstract Argumentation: Harder Than Acceptance?}, DOI={10.3233/faia240867}, booktitle={Frontiers in Artificial Intelligence and Applications}, publisher={IOS Press}, author={Fichte, Johannes K. and Hecher, Markus and Mahmood, Yasir and Meier, Arne}, year={2024} }
LibreCat | DOI
 
[12]
2024 | Preprint | LibreCat-ID: 57814
@article{Hankala_Hannula_Mahmood_Meier_2024, title={Parameterised Complexity of Consistent Query Answering via Graph  Representations}, journal={arXiv:2412.08324}, author={Hankala, Teemu and Hannula, Miika and Mahmood, Yasir and Meier, Arne}, year={2024} }
LibreCat | arXiv
 
[11]
2023 | Journal Article | LibreCat-ID: 54577
@article{Mahmood_Meier_Schmidt_2023, title={Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework}, volume={24}, DOI={10.1145/3582499}, number={3}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2023}, pages={1–25} }
LibreCat | DOI
 
[10]
2023 | Conference Paper | LibreCat-ID: 54578
@inproceedings{Fichte_Hecher_Mahmood_Meier_2023, title={Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation}, DOI={10.24963/ijcai.2023/358}, booktitle={Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Fichte, Johannes K. and Hecher, Markus and Mahmood, Yasir and Meier, Arne}, year={2023} }
LibreCat | DOI
 
[9]
2023 | Book Chapter | LibreCat-ID: 54579
@inbook{Mahmood_Virtema_2023, place={Cham}, title={Parameterized Complexity of Propositional Inclusion and Independence Logic}, DOI={10.1007/978-3-031-39784-4_17}, booktitle={Logic, Language, Information, and Computation}, publisher={Springer Nature Switzerland}, author={Mahmood, Yasir and Virtema, Jonni}, year={2023} }
LibreCat | DOI
 
[8]
2023 | Conference Paper | LibreCat-ID: 54089
@inproceedings{Hannula_Hirvonen_Kontinen_Mahmood_Meier_Virtema_2023, title={Logics with probabilistic team semantics and the Boolean negation}, booktitle={18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings}, author={Hannula, Miika and Hirvonen, Minna and Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Virtema, Jonni}, year={2023} }
LibreCat
 
[7]
2022 | Journal Article | LibreCat-ID: 45849
@article{Mahmood_Meier_2022, title={Parameterised complexity of model checking and satisfiability in propositional dependence logic}, volume={90}, DOI={10.1007/s10472-021-09730-w}, number={2–3}, journal={Annals of Mathematics and Artificial Intelligence}, publisher={Springer Science and Business Media LLC}, author={Mahmood, Yasir and Meier, Arne}, year={2022}, pages={271–296} }
LibreCat | DOI
 
[6]
2022 | Journal Article | LibreCat-ID: 45847
@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the complexity of dependence and independence logic}, volume={32}, DOI={10.1093/logcom/exac070}, number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022}, pages={1624–1644} }
LibreCat | DOI
 
[5]
2022 | Conference Paper | LibreCat-ID: 45846
@inproceedings{Kontinen_Meier_Mahmood_2022, place={Cham}, title={A Parameterized View on the Complexity of Dependence Logic}, DOI={10.1007/978-3-030-93100-1_9}, booktitle={Logical Foundations of Computer Science}, publisher={Springer International Publishing}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022} }
LibreCat | DOI
 
[4]
2021 | Conference Paper | LibreCat-ID: 45840
@inproceedings{Fichte_Hecher_Mahmood_Meier_2021, title={Decomposition-Guided Reductions for Argumentation and Treewidth}, DOI={10.24963/ijcai.2021/259}, booktitle={Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Fichte, Johannes and Hecher, Markus and Mahmood, Yasir and Meier, Arne}, year={2021} }
LibreCat | DOI
 
[3]
2021 | Conference Paper | LibreCat-ID: 45841
@inproceedings{Mahmood_Meier_Schmidt_2021, title={Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework}, volume={35}, DOI={10.1609/aaai.v35i7.16797}, number={7}, booktitle={Proceedings of the AAAI Conference on Artificial Intelligence}, publisher={Association for the Advancement of Artificial Intelligence (AAAI)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2021}, pages={6426–6434} }
LibreCat | DOI
 
[2]
2020 | Conference Paper | LibreCat-ID: 45848
@inproceedings{Mahmood_Meier_2020, place={Cham}, title={Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic}, DOI={10.1007/978-3-030-39951-1_10}, booktitle={Lecture Notes in Computer Science}, publisher={Springer International Publishing}, author={Mahmood, Yasir and Meier, Arne}, year={2020} }
LibreCat | DOI
 
[1]
2020 | Conference Paper | LibreCat-ID: 45818
@inproceedings{Mahmood_Meier_Schmidt_2020, place={Cham}, title={Parameterised Complexity of Abduction in Schaefer’s Framework}, DOI={10.1007/978-3-030-36755-8_13}, booktitle={Logical Foundations of Computer Science}, publisher={Springer International Publishing}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2020} }
LibreCat | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed

17 Publications

Mark all

[17]
2024 | Book Chapter | LibreCat-ID: 54580
@inbook{Mahmood_Virtema_Barlag_Ngonga Ngomo_2024, place={Cham}, title={Computing Repairs Under Functional and Inclusion Dependencies via Argumentation}, DOI={10.1007/978-3-031-56940-1_2}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Nature Switzerland}, author={Mahmood, Yasir and Virtema, Jonni and Barlag, Timon and Ngonga Ngomo, Axel-Cyrille}, year={2024} }
LibreCat | DOI
 
[16]
2024 | Conference Paper | LibreCat-ID: 55655
@inproceedings{Hecher_Mahmood_Meier_Schmidt_2024, title={Quantitative Claim-Centric Reasoning in Logic-Based Argumentation}, DOI={10.24963/ijcai.2024/377}, booktitle={Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Hecher, Markus and Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2024} }
LibreCat | DOI
 
[15]
2024 | Journal Article | LibreCat-ID: 54092
@article{Kontinen_Mahmood_Meier_Vollmer_2024, title={Parameterized Complexity of Weighted Team Definability}, DOI={10.1017/S0960129524000033}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press}, author={Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Vollmer, Heribert}, year={2024}, pages={1–15} }
LibreCat | DOI
 
[14]
2024 | Preprint | LibreCat-ID: 58377
@article{Mahmood_Hecher_Ngonga Ngomo_2024, title={Dung’s Argumentation Framework: Unveiling the Expressive Power with  Inconsistent Databases}, journal={arXiv:2412.11617}, author={Mahmood, Yasir and Hecher, Markus and Ngonga Ngomo, Axel-Cyrille}, year={2024} }
LibreCat | arXiv
 
[13]
2024 | Book Chapter | LibreCat-ID: 57238
@inbook{Fichte_Hecher_Mahmood_Meier_2024, title={Rejection in Abstract Argumentation: Harder Than Acceptance?}, DOI={10.3233/faia240867}, booktitle={Frontiers in Artificial Intelligence and Applications}, publisher={IOS Press}, author={Fichte, Johannes K. and Hecher, Markus and Mahmood, Yasir and Meier, Arne}, year={2024} }
LibreCat | DOI
 
[12]
2024 | Preprint | LibreCat-ID: 57814
@article{Hankala_Hannula_Mahmood_Meier_2024, title={Parameterised Complexity of Consistent Query Answering via Graph  Representations}, journal={arXiv:2412.08324}, author={Hankala, Teemu and Hannula, Miika and Mahmood, Yasir and Meier, Arne}, year={2024} }
LibreCat | arXiv
 
[11]
2023 | Journal Article | LibreCat-ID: 54577
@article{Mahmood_Meier_Schmidt_2023, title={Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework}, volume={24}, DOI={10.1145/3582499}, number={3}, journal={ACM Transactions on Computational Logic}, publisher={Association for Computing Machinery (ACM)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2023}, pages={1–25} }
LibreCat | DOI
 
[10]
2023 | Conference Paper | LibreCat-ID: 54578
@inproceedings{Fichte_Hecher_Mahmood_Meier_2023, title={Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation}, DOI={10.24963/ijcai.2023/358}, booktitle={Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Fichte, Johannes K. and Hecher, Markus and Mahmood, Yasir and Meier, Arne}, year={2023} }
LibreCat | DOI
 
[9]
2023 | Book Chapter | LibreCat-ID: 54579
@inbook{Mahmood_Virtema_2023, place={Cham}, title={Parameterized Complexity of Propositional Inclusion and Independence Logic}, DOI={10.1007/978-3-031-39784-4_17}, booktitle={Logic, Language, Information, and Computation}, publisher={Springer Nature Switzerland}, author={Mahmood, Yasir and Virtema, Jonni}, year={2023} }
LibreCat | DOI
 
[8]
2023 | Conference Paper | LibreCat-ID: 54089
@inproceedings{Hannula_Hirvonen_Kontinen_Mahmood_Meier_Virtema_2023, title={Logics with probabilistic team semantics and the Boolean negation}, booktitle={18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings}, author={Hannula, Miika and Hirvonen, Minna and Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Virtema, Jonni}, year={2023} }
LibreCat
 
[7]
2022 | Journal Article | LibreCat-ID: 45849
@article{Mahmood_Meier_2022, title={Parameterised complexity of model checking and satisfiability in propositional dependence logic}, volume={90}, DOI={10.1007/s10472-021-09730-w}, number={2–3}, journal={Annals of Mathematics and Artificial Intelligence}, publisher={Springer Science and Business Media LLC}, author={Mahmood, Yasir and Meier, Arne}, year={2022}, pages={271–296} }
LibreCat | DOI
 
[6]
2022 | Journal Article | LibreCat-ID: 45847
@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the complexity of dependence and independence logic}, volume={32}, DOI={10.1093/logcom/exac070}, number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022}, pages={1624–1644} }
LibreCat | DOI
 
[5]
2022 | Conference Paper | LibreCat-ID: 45846
@inproceedings{Kontinen_Meier_Mahmood_2022, place={Cham}, title={A Parameterized View on the Complexity of Dependence Logic}, DOI={10.1007/978-3-030-93100-1_9}, booktitle={Logical Foundations of Computer Science}, publisher={Springer International Publishing}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022} }
LibreCat | DOI
 
[4]
2021 | Conference Paper | LibreCat-ID: 45840
@inproceedings{Fichte_Hecher_Mahmood_Meier_2021, title={Decomposition-Guided Reductions for Argumentation and Treewidth}, DOI={10.24963/ijcai.2021/259}, booktitle={Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence}, publisher={International Joint Conferences on Artificial Intelligence Organization}, author={Fichte, Johannes and Hecher, Markus and Mahmood, Yasir and Meier, Arne}, year={2021} }
LibreCat | DOI
 
[3]
2021 | Conference Paper | LibreCat-ID: 45841
@inproceedings{Mahmood_Meier_Schmidt_2021, title={Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework}, volume={35}, DOI={10.1609/aaai.v35i7.16797}, number={7}, booktitle={Proceedings of the AAAI Conference on Artificial Intelligence}, publisher={Association for the Advancement of Artificial Intelligence (AAAI)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2021}, pages={6426–6434} }
LibreCat | DOI
 
[2]
2020 | Conference Paper | LibreCat-ID: 45848
@inproceedings{Mahmood_Meier_2020, place={Cham}, title={Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic}, DOI={10.1007/978-3-030-39951-1_10}, booktitle={Lecture Notes in Computer Science}, publisher={Springer International Publishing}, author={Mahmood, Yasir and Meier, Arne}, year={2020} }
LibreCat | DOI
 
[1]
2020 | Conference Paper | LibreCat-ID: 45818
@inproceedings{Mahmood_Meier_Schmidt_2020, place={Cham}, title={Parameterised Complexity of Abduction in Schaefer’s Framework}, DOI={10.1007/978-3-030-36755-8_13}, booktitle={Logical Foundations of Computer Science}, publisher={Springer International Publishing}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2020} }
LibreCat | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed