Items where authors include "Mahmood, Y."

Proceedings Paper

Mahmood, Y. orcid.org/0000-0002-5651-5391, Virtema, J. orcid.org/0000-0002-1582-3718, Barlag, T. orcid.org/0000-0001-6139-5219 et al. (1 more author) (2024) Computing repairs under functional and inclusion dependencies via argumentation. In: Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings. 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), 08-11 Apr 2024, Sheffield, UK. Lecture Notes in Computer Science, LNCS 14589 . Springer Nature Switzerland , pp. 23-42. ISBN 9783031569395

Hannula, M., Hirvonen, M., Kontinen, J. et al. (3 more authors) (2023) Logics with probabilistic team semantics and the Boolean negation. In: Gaggl, S., Martinez, M.V. and Ortiz, M., (eds.) Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), 20-22 Sep 2023, Dresden, Germany. Lecture Notes in Computer Science (LNAI 14281). Springer Cham , pp. 665-680. ISBN 9783031436185

Mahmood, Y. and Virtema, J. orcid.org/0000-0002-1582-3718 (2023) Parameterized complexity of propositional inclusion and independence logic. In: Hansen, H.H., Scedrov, A. and de Queiroz, R.J.G.B., (eds.) Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. 29th Workshop on Logic, Language, Information and Computation, 11-14 Jul 2023, Halifax, NS, Canada. Lecture Notes in Computer Science, LNCS 13923 . Springer Cham , pp. 274-291. ISBN 9783031397837