Items where authors include "Hannula, M."

Export as [feed] Atom [feed] RSS
Number of items: 5.

Article

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) (2023) 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. . (In Press)

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

This list was generated on Sat Mar 23 20:38:38 2024 GMT.