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.
24 Publications
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