Prati
Yasir Mahmood
Yasir Mahmood
DICE Group, Paderborn Unoversity
Potvrđena adresa e-pošte na uni-paderborn.de - Početna stranica
Naslov
Citirano
Citirano
Godina
Decomposition-Guided Reductions for Argumentation and Treewidth.
JK Fichte, M Hecher, Y Mahmood, A Meier
IJCAI 21, 1880-1886, 2021
112021
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
72020
Parameterized complexity of abduction in Schaefer’s framework
Y Mahmood, A Meier, J Schmidt
Journal of Logic and Computation 31 (1), 266-296, 2021
52021
Parameterised complexity of propositional logic in team semantics
Y Mahmood, J Virtema
CoRR, abs/2105.14887, 2021
42021
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
22022
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
12023
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
12022
Parameterized complexity of weighted team definability
J Kontinen, Y Mahmood, A Meier, H Vollmer
Mathematical Structures in Computer Science, 1-15, 2024
2024
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 aspects of team-based formalisms and logical inference
Y Mahmood
Hannover: Institutionelles Repositorium der Leibniz Universität Hannover, 2022
2022
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–10