Items where Funder is DEUTSCHE FORSCHUNGSGEMEINSCHAFT.

432788559

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

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

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

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

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

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