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
Fichte J, Hecher M, Mahmood Y, Meier A. Decomposition-Guided Reductions for Argumentation and Treewidth. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization; 2021. doi:10.24963/ijcai.2021/259
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 45841
Mahmood Y, Meier A, Schmidt J. Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. Association for the Advancement of Artificial Intelligence (AAAI); 2021:6426-6434. doi:10.1609/aaai.v35i7.16797
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45848
Mahmood Y, Meier A. Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. In: Lecture Notes in Computer Science. Springer International Publishing; 2020. doi:10.1007/978-3-030-39951-1_10
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45818
Mahmood Y, Meier A, Schmidt J. Parameterised Complexity of Abduction in Schaefer’s Framework. In: Logical Foundations of Computer Science. Springer International Publishing; 2020. doi:10.1007/978-3-030-36755-8_13
LibreCat
| DOI