Items where authors include "Mahmood, Y."

Article

Hannula, M., Hirvonen, M., Kontinen, J. et al. (3 more authors) (2025) Logics with probabilistic team semantics and the Boolean negation. Journal of Logic and Computation, 35 (3). exaf021. ISSN 0955-792X

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