Decomposition-Guided Reductions for Argumentation and Treewidth. JK Fichte, M Hecher, Y Mahmood, A Meier IJCAI 21, 1880-1886, 2021 | 9 | 2021 |
Parameterised complexity of model checking and satisfiability in propositional dependence logic Y Mahmood, A Meier International Symposium on Foundations of Information and Knowledge Systems …, 2020 | 7 | 2020 |
Parameterized complexity of abduction in Schaefer’s framework Y Mahmood, A Meier, J Schmidt Journal of Logic and Computation 31 (1), 266-296, 2021 | 5 | 2021 |
Parameterised complexity of propositional logic in team semantics Y Mahmood, J Virtema CoRR, abs/2105.14887, 2021 | 4 | 2021 |
A parameterized view on the complexity of dependence and independence logic J Kontinen, A Meier, Y Mahmood Journal of Logic and Computation 32 (8), 1624-1644, 2022 | 2 | 2022 |
Parameterized complexity of logic-based argumentation in Schaefer’s framework Y Mahmood, A Meier, J Schmidt ACM Transactions on Computational Logic 24 (3), 1-25, 2023 | 1 | 2023 |
A Parameterized View on the Complexity of Dependence Logic J Kontinen, A Meier, Y Mahmood Logical Foundations of Computer Science: International Symposium, LFCS 2022 …, 2022 | 1 | 2022 |
Parameterized Complexity of Propositional Inclusion and Independence Logic Y Mahmood, J Virtema International Workshop on Logic, Language, Information, and Computation, 274-291, 2023 | | 2023 |
Parameterized complexity of weighted team definability J Kontinen, Y Mahmood, A Meier, H Vollmer Mathematical Structures in Computer Science, 1-15, 2023 | | 2023 |
Parameterized aspects of team-based formalisms and logical inference Y Mahmood Hannover: Institutionelles Repositorium der Leibniz Universität Hannover, 2022 | | 2022 |