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.
26 Publications
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation 32, no. 8 (2022): 1624–44. https://doi.org/10.1093/logcom/exac070.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 45846
Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence Logic.” In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2022. https://doi.org/10.1007/978-3-030-93100-1_9.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 45840
Fichte, Johannes, Markus Hecher, Yasir Mahmood, and Arne Meier. “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. https://doi.org/10.24963/ijcai.2021/259.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 45841
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Logic-Based Argumentation in Schaefer’s Framework.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:6426–34. Association for the Advancement of Artificial Intelligence (AAAI), 2021. https://doi.org/10.1609/aaai.v35i7.16797.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45848
Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.” In Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020. https://doi.org/10.1007/978-3-030-39951-1_10.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 45818
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterised Complexity of Abduction in Schaefer’s Framework.” In Logical Foundations of Computer Science. Cham: Springer International Publishing, 2020. https://doi.org/10.1007/978-3-030-36755-8_13.
LibreCat
| DOI