13 Publications

Mark all

[13]
2024 | Book Chapter | LibreCat-ID: 54580
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Y. Mahmood, J. Virtema, T. Barlag, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat | DOI
 
[12]
2024 | Journal Article | LibreCat-ID: 54092
Parameterized Complexity of Weighted Team Definability
J. Kontinen, Y. Mahmood, A. Meier, H. Vollmer, Mathematical Structures in Computer Science (2024) 1–15.
LibreCat | DOI
 
[11]
2023 | Journal Article | LibreCat-ID: 54577
Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework
Y. Mahmood, A. Meier, J. Schmidt, ACM Transactions on Computational Logic 24 (2023) 1–25.
LibreCat | DOI
 
[10]
2023 | Conference Paper | LibreCat-ID: 54578
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2023.
LibreCat | DOI
 
[9]
2023 | Book Chapter | LibreCat-ID: 54579
Parameterized Complexity of Propositional Inclusion and Independence Logic
Y. Mahmood, J. Virtema, in: Logic, Language, Information, and Computation, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 
[8]
2023 | Conference Paper | LibreCat-ID: 54089
Logics with probabilistic team semantics and the Boolean negation
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, J. Virtema, in: 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.
LibreCat
 
[7]
2022 | Journal Article | LibreCat-ID: 45849
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Y. Mahmood, A. Meier, Annals of Mathematics and Artificial Intelligence 90 (2022) 271–296.
LibreCat | DOI
 
[6]
2022 | Journal Article | LibreCat-ID: 45847
A parameterized view on the complexity of dependence and independence logic
J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.
LibreCat | DOI
 
[5]
2022 | Conference Paper | LibreCat-ID: 45846
A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2022.
LibreCat | DOI
 
[4]
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
 
[3]
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
 
[2]
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
 
[1]
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
 

Search

Filter Publications

Display / Sort

Export / Embed

13 Publications

Mark all

[13]
2024 | Book Chapter | LibreCat-ID: 54580
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Y. Mahmood, J. Virtema, T. Barlag, A.-C. Ngonga Ngomo, in: Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, 2024.
LibreCat | DOI
 
[12]
2024 | Journal Article | LibreCat-ID: 54092
Parameterized Complexity of Weighted Team Definability
J. Kontinen, Y. Mahmood, A. Meier, H. Vollmer, Mathematical Structures in Computer Science (2024) 1–15.
LibreCat | DOI
 
[11]
2023 | Journal Article | LibreCat-ID: 54577
Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework
Y. Mahmood, A. Meier, J. Schmidt, ACM Transactions on Computational Logic 24 (2023) 1–25.
LibreCat | DOI
 
[10]
2023 | Conference Paper | LibreCat-ID: 54578
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
J.K. Fichte, M. Hecher, Y. Mahmood, A. Meier, in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2023.
LibreCat | DOI
 
[9]
2023 | Book Chapter | LibreCat-ID: 54579
Parameterized Complexity of Propositional Inclusion and Independence Logic
Y. Mahmood, J. Virtema, in: Logic, Language, Information, and Computation, Springer Nature Switzerland, Cham, 2023.
LibreCat | DOI
 
[8]
2023 | Conference Paper | LibreCat-ID: 54089
Logics with probabilistic team semantics and the Boolean negation
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, J. Virtema, in: 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.
LibreCat
 
[7]
2022 | Journal Article | LibreCat-ID: 45849
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Y. Mahmood, A. Meier, Annals of Mathematics and Artificial Intelligence 90 (2022) 271–296.
LibreCat | DOI
 
[6]
2022 | Journal Article | LibreCat-ID: 45847
A parameterized view on the complexity of dependence and independence logic
J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.
LibreCat | DOI
 
[5]
2022 | Conference Paper | LibreCat-ID: 45846
A Parameterized View on the Complexity of Dependence Logic
J. Kontinen, A. Meier, Y. Mahmood, in: Logical Foundations of Computer Science, Springer International Publishing, Cham, 2022.
LibreCat | DOI
 
[4]
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
 
[3]
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
 
[2]
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
 
[1]
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
 

Search

Filter Publications

Display / Sort

Export / Embed