Items where authors include "Hannula, M."

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

Hannula, M. and Virtema, J. (2022) Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. Annals of Pure and Applied Logic, 173 (10). 103108. ISSN 0168-0072

Hynninen, V., Vuori, L., Hannula, M. et al. (8 more authors) (2016) Improved antifouling properties and selective biofunctionalization of stainless steel by employing heterobifunctional silane-polyethylene glycol overlayers and avidin-biotin technology. Scientific Reports, 6 (1). 29324. ISSN 2045-2322

Proceedings Paper

Hankala, T., Hannula, M., Kontinen, J. et al. (1 more author) (2024) Complexity of neural network training and ETR: extensions with effectively continuous functions. In: Proceedings of the 38th AAAI Conference on Artificial Intelligence. 38th Annual AAAI Conference on Artificial Intelligence, 20-27 Feb 2024, Vancouver, Canada. Association for the Advancement of Artificial Intelligence , pp. 12778-12285. ISBN 9781577358879

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

Barlag, T., Hannula, M., Kontinen, J. et al. (2 more authors) (2023) Unified foundations of team semantics via semirings. In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. 20th International Conference on Principles of Knowledge Representation and Reasoning, 02-08 Sep 2023, Rhodes, Greece. IJCAI Organization , pp. 75-85. ISBN 9781956792027