Jonni Virtema

According to our database, Jonni Virtema authored at least 47 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111).

Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich

Dagstuhl Reports, 2024

Synchronous Team Semantics for Temporal Logics.

Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann

CoRR, 2024

Graph Neural Networks and Arithmetic Circuits.

Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer

CoRR, 2024

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.

Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo

Proceedings of the Foundations of Information and Knowledge Systems, 2024

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL.

Juha Kontinen, Max Sandström, Jonni Virtema

Proceedings of the Foundations of Information and Knowledge Systems, 2024

Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals.

Fausto Barbero, Jonni Virtema

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions.

Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A fine-grained framework for database repairs.

Nina Pardal, Jonni Virtema

CoRR, 2023

Parameterized Complexity of Propositional Inclusion and Independence Logic.

Yasir Mahmood, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2023

Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.

Juha Kontinen, Max Sandström, Jonni Virtema

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Unified Foundations of Team Semantics via Semirings.

Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Logics with Probabilistic Team Semantics and the Boolean Negation.

Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals.

Fausto Barbero, Jonni Virtema

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.

Miika Hannula, Jonni Virtema

Ann. Pure Appl. Log., 2022

Temporal Team Semantics Revisited.

Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Descriptive complexity of deterministic polylogarithmic time and space.

Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema

J. Comput. Syst. Sci., 2021

Parameterised Complexity of Propositional Logic in Team Semantics.

Yasir Mahmood, Jonni Virtema

CoRR, 2021

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.

Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic.

Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Polyteam semantics.

Miika Hannula, Juha Kontinen, Jonni Virtema

J. Log. Comput., 2020

Descriptive complexity of real computation and probabilistic independence logic.

Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Model checking and validity in propositional and modal inclusion logics.

Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema

J. Log. Comput., 2019

Characterising modal definability of team-based logics via the universal modality.

Katsuhiko Sano, Jonni Virtema

Ann. Pure Appl. Log., 2019

Descriptive Complexity of Deterministic Polylogarithmic Time.

Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2019

Fully Generic Queries: Open Problems and Some Partial Answers.

Dimitri Surinx, Jan Van den Bussche, Jonni Virtema

Proceedings of the Model and Data Engineering - 9th International Conference, 2019

Facets of Distribution Identities in Probabilistic Team Semantics.

Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Complexity of Propositional Logics in Team Semantic.

Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer

ACM Trans. Comput. Log., 2018

Approximation and dependence via multiteam semantics.

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Ann. Math. Artif. Intell., 2018

Team Semantics for the Specification and Verification of Hyperproperties.

Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

Probabilistic Team Semantics.

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Proceedings of the Foundations of Information and Knowledge Systems, 2018

Expressivity Within Second-Order Transitive-Closure Logic.

Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Boolean dependence logic and partially-ordered connectives.

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema

J. Comput. Syst. Sci., 2017

2016

On Quantified Propositional Logics and the Exponential Time Hierarchy.

Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema

Proceedings of the Seventh International Symposium on Games, 2016

Characterizing Relative Frame Definability in Team Semantics via the Universal Modality.

Katsuhiko Sano, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2016

Decidability of Predicate Logics with Team Semantics.

Juha Kontinen, Antti Kuusisto, Jonni Virtema

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015

Weak models of distributed computing, with connections to modal logic.

Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema

Distributed Comput., 2015

Parallel Computational Tree Logic.

Andreas Krebs, Arne Meier, Jonni Virtema

CoRR, 2015

Characterizing Frame Definability in Team Semantics via the Universal Modality.

Katsuhiko Sano, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2015

A Team Based Variant of CTL.

Andreas Krebs, Arne Meier, Jonni Virtema

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Complexity of Propositional Independence and Inclusion Logic.

Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Axiomatizing Propositional Dependence Logics.

Katsuhiko Sano, Jonni Virtema

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Complexity of two-variable dependence logic and IF-logic.

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema

Inf. Comput., 2014

Complexity of validity for propositional dependence logics.

Jonni Virtema

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Decidable Fragments of Logics Based on Team Semantics.

Juha Kontinen, Antti Kuusisto, Jonni Virtema

CoRR, 2014

The Expressive Power of Modal Dependence Logic.

Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema

Proceedings of the Advances in Modal Logic 10, 2014

2013

Undecidable First-Order Theories of Affine Geometries.

Antti Kuusisto, Jeremy Meyers, Jonni Virtema

Log. Methods Comput. Sci., 2013

Extended Modal Dependence Logic.

Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer

Proceedings of the Logic, Language, Information, and Computation, 2013