Forskningsresultat per år
Forskningsresultat per år
Personlig profil
Vetenskapsgrenar
- 111 Matematik
Internationellt och inhemskt samarbete
Publikationer och projekt inom de senaste fem åren.
-
Logics with probabilistic team semantics and the Boolean negation
Hannula, M., Hirvonen, M. E., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., apr. 2025, I: Journal of Logic and Computation. 35, 3, 27 s., exaf021.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
A First Peek into Preferential Logics with Team Semantics
Sauerwald, K. & Kontinen, J., 2024, Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024. Gierasimczuk, N. & Heyninck, J. (red.). Aachen: CEUR-WS.org, s. 94-100 7 s. (CEUR Workshop Proceedings; vol. 3835).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations
Antonelli, M., Durand, A. & Kontinen, J., 2024, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 10:1-10:18 18 s. 10. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 306).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Kontinen, J., Sandström, M. & Virtema, J., 29 mars 2024, Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024 Sheffield, UK, April 8–11, 2024 Proceedings. Meier, A. & Ortiz, M. (red.). Cham: Springer, s. 275-286 12 s. (Lecture Notes in Computer Science; nr. 14589).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
Hankala, T., Hannula, M., Kontinen, J. & Virtema, J., 2024, Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (red.). AAAI Press, Vol. 38(11). s. 12278-12285 8 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil
-
Characterizing Complexity via Algebra an
Kontinen, J. (Projektledare)
01/02/2025 → 31/01/2027
Projekt: Stiftelser och fonder
-
Applications and complexity of logics in semiring team semantics
Kontinen, J. (Projektledare)
Suomen Akatemia Projektilaskutus
01/03/2024 → 28/02/2026
Projekt: Finlands Akademi: Forskare mobilitet utomlands
-
Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021
Kontinen, J. (Projektledare)
01/09/2017 → 31/08/2021
Projekt: Forskningsprojekt
-
Kuvailevaa vaativuusteoriaa aritmeettiselle laskennalle / Kontinen Juha H516 01/2017-12/2018
Kontinen, J. (Projektledare)
20/01/2017 → 31/12/2018
Projekt: Forskningsprojekt
-
Algoritmisia lähestymistapoja riippuvuuslogiikkaan
Kontinen, J. (Projektledare)
01/09/2015 → 31/08/2017
Projekt: Forskningsprojekt
Aktiviteter
-
International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Kontinen, J. (Medlem av vetenskaplig kommitté)
2024 → …Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
13th International Symposium on Foundations of Information and Knowledge Systems
Kontinen, J. (Närvarande)
7 apr. 2024 → 11 apr. 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Scandinavian Logic Symposium
Kontinen, J. (Närvarande)
12 juni 2024 → 16 juni 2024Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Nicolas Fröhlich
Kontinen, J. (Värd)
26 aug. 2024 → 30 aug. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU
-
Timon Barlag
Kontinen, J. (Värd)
26 aug. 2024 → 30 aug. 2024Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU