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
J. Fichte, M. Hecher, Y. Mahmood, and A. Meier, “Decomposition-Guided Reductions for Argumentation and Treewidth,” 2021, doi: 10.24963/ijcai.2021/259.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 45841
Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework,” in Proceedings of the AAAI Conference on Artificial Intelligence, 2021, vol. 35, no. 7, pp. 6426–6434, doi: 10.1609/aaai.v35i7.16797.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45848
Y. Mahmood and A. Meier, “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic,” 2020, doi: 10.1007/978-3-030-39951-1_10.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45818
Y. Mahmood, A. Meier, and J. Schmidt, “Parameterised Complexity of Abduction in Schaefer’s Framework,” 2020, doi: 10.1007/978-3-030-36755-8_13.
LibreCat
| DOI