Items where authors include "Virtema, J."

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

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

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

Barbero, F. and Virtema, J. orcid.org/0000-0002-1582-3718 (2024) Expressivity landscape for logics with probabilistic interventionist counterfactuals. In: Murano, A. and Silva, A., (eds.) 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), 19-23 Feb 2024, Naples, Italy. Leibniz International Proceedings in Informatics (LIPIcs)., 288 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik , 15:1-15:19. ISBN 9783959773102

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

Barbero, F. and Virtema, J. orcid.org/0000-0002-1582-3718 (2023) Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. 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. 649-664. 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

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

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

Gutsfeld, J.O., Meier, A., Ohrem, C. et al. (1 more author) (2022) Temporal team semantics revisited. In: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 02-05 Aug 2022, Haifa Israel. Association for Computing Machinery . ISBN 9781450393515

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