Items where authors include "Kontinen, J."

Proceedings Paper

Kontinen, J. orcid.org/0000-0003-0115-5154, Sandström, M. orcid.org/0000-0002-6365-2562 and Virtema, J. orcid.org/0000-0002-1582-3718 (2024) A remark on the expressivity of asynchronous TeamLTL and HyperLTL. In: Meier, A. and Ortiz, M., (eds.) 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. 275-286. ISBN 9783031569395

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

Kontinen, J., Sandström, M. and Virtema, J. orcid.org/0000-0002-1582-3718 (2023) Set semantics for asynchronous TeamLTL: expressivity and complexity. In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 28 Aug - 01 Sep 2023, Bordeaux, France. Leibniz International Proceedings in Informatics (LIPIcs), 272 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 60:1-60:14. ISBN 9783959772921

Virtema, J., Hofmann, J., Finkbeiner, B. et al. (2 more authors) (2021) Linear-time temporal logic with team semantics: expressivity and complexity. In: Bojańczyk, M. and Chekuri, C., (eds.) 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), 15-17 Dec 2021, Virtual Conference. Leibniz International Proceedings in Informatics (LIPIcs), 213 . Schloss Dagstuhl , 52:1-52:17. ISBN 9783959772150