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
Decomposition-Guided Reductions for Argumentation and Treewidth
J. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2021.
LibreCat
| DOI
J. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2021.
2021 | Conference Paper | LibreCat-ID: 45841
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework
Y. Mahmood, A. Meier, J. Schmidt, in: Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI), 2021, pp. 6426–6434.
LibreCat
| DOI
Y. Mahmood, A. Meier, J. Schmidt, in: Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI), 2021, pp. 6426–6434.
2020 | Conference Paper | LibreCat-ID: 45848
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
Y. Mahmood, A. Meier, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2020.
LibreCat
| DOI
Y. Mahmood, A. Meier, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 45818
Parameterised Complexity of Abduction in Schaefer’s Framework
Y. Mahmood, A. Meier, J. Schmidt, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2020.
LibreCat
| DOI
Y. Mahmood, A. Meier, J. Schmidt, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2020.