Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
30 Publications
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
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
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
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
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
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
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
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
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
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