Juha Kontinen

According to our database, Juha Kontinen authored at least 73 papers between 2006 and 2024.

Collaborative distances:

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

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

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

Complete Logics for Elementary Team Properties.

Juha Kontinen, Fan Yang

J. Symb. Log., 2023

Regular Representations of Uniform TC^0.

Lauri Hella, Juha Kontinen, Kerkko Luosto

CoRR, 2023

Parameterized Complexity of Weighted Team Definability.

Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer

CoRR, 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

2022

Tractability Frontier of Data Complexity in Team Semantics.

Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen

ACM Trans. Comput. Log., 2022

A parameterized view on the complexity of dependence and independence logic.

Juha Kontinen, Arne Meier, Yasir Mahmood

J. Log. Comput., 2022

Modular SAT-based techniques for reasoning tasks in team semantics.

Arnaud Durand, Juha Kontinen, Jouko Väänänen

CoRR, 2022

On elementary logics for quantitative dependencies.

Miika Hannula, Minna Hirvonen, Juha Kontinen

Ann. Pure Appl. Log., 2022

Preface.

Andreas Herzig, Juha Kontinen

Ann. Math. Artif. Intell., 2022

A Parameterized View on the Complexity of Dependence Logic.

Juha Kontinen, Arne Meier, Yasir Mahmood

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021

Descriptive complexity of #P functions: A new perspective.

Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer

J. Comput. Syst. Sci., 2021

On the Interaction of Functional and Inclusion Dependencies with Independence Atoms.

Miika Hannula, Juha Kontinen, Sebastian Link

CoRR, 2021

On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties.

Juha Kontinen, Max Sandström

Proceedings of the Logic, Language, Information, and Computation, 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

Logics for Dependence and Independence (Dagstuhl Seminar 19031).

Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer

Dagstuhl Reports, 2019

A logical approach to context-specific independence.

Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen

Ann. Pure Appl. Log., 2019

Logics for First-Order Team Properties.

Juha Kontinen, Fan Yang

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

Continuous Team Semantics.

Åsa Hirvonen, Juha Kontinen, Arno Pauly

Proceedings of the Theory and Applications of Models of Computation, 2019

Counting of Teams in First-Order Team Logics.

Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 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

Structure Learning for Bayesian Networks over Labeled DAGs.

Antti Hyttinen, Johan Pensar, Juha Kontinen, Jukka Corander

Proceedings of the International Conference on Probabilistic Graphical Models, 2018

Probabilistic Team Semantics.

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

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

Modal independence logic.

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer

J. Log. Comput., 2017

Dependence logic with generalized quantifiers: Axiomatizations.

Fredrik Engström, Juha Kontinen, Jouko Väänänen

J. Comput. Syst. Sci., 2017

Computational Aspects of Logics in Team Semantics (Tutorial).

Juha Kontinen

Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

On the Interaction of Inclusion Dependencies with Independence Atoms.

Miika Hannula, Juha Kontinen, Sebastian Link

Proceedings of the LPAR-21, 2017

2016

On the finite and general implication problems of independence atoms and keys.

Miika Hannula, Juha Kontinen, Sebastian Link

J. Comput. Syst. Sci., 2016

A finite axiomatization of conditional independence and inclusion dependencies.

Miika Hannula, Juha Kontinen

Inf. Comput., 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

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

Descriptive Complexity of #AC⁰ Functions.

Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Introduction.

Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer

Proceedings of the Dependence Logic, Theory and Applications, 2016

Expressivity and Complexity of Dependence Logic.

Arnaud Durand, Juha Kontinen, Heribert Vollmer

Proceedings of the Dependence Logic, Theory and Applications, 2016

2015

Hierarchies in independence and inclusion logic with strict semantics.

Miika Hannula, Juha Kontinen

J. Log. Comput., 2015

Dependence Logic with a Majority Quantifier.

Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer

J. Log. Lang. Inf., 2015

Logics for Dependence and Independence (Dagstuhl Seminar 15261).

Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer

Dagstuhl Reports, 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

A Van Benthem Theorem for Modal Team Semantics.

Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer

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

On Natural Deduction in Dependence Logic.

Juha Kontinen

Proceedings of the Logic Without Borders, 2015

From the editors.

Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces

Proceedings of the Logic Without Borders, 2015

2014

A characterization of definability of second-order generalized quantifiers with applications to non-definability.

Juha Kontinen, Jakub Szymanik

J. Comput. Syst. Sci., 2014

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

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema

Inf. Comput., 2014

A Fragment of Dependence Logic Capturing Polynomial Time

Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer

Log. Methods Comput. Sci., 2014

Decidable Fragments of Logics Based on Team Semantics.

Juha Kontinen, Antti Kuusisto, Jonni Virtema

CoRR, 2014

On Independence Atoms and Keys.

Miika Hannula, Juha Kontinen, Sebastian Link

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

2013

Editorial Introduction.

Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl

Stud Logica, 2013

Characterizing quantifier extensions of dependence logic.

Fredrik Engström, Juha Kontinen

J. Symb. Log., 2013

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071).

Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer

Dagstuhl Reports, 2013

Axiomatizing first-order consequences in dependence logic.

Juha Kontinen, Jouko A. Väänänen

Ann. Pure Appl. Log., 2013

Independence in Database Relations.

Juha Kontinen, Sebastian Link, Jouko A. Väänänen

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

Hierarchies in independence logic.

Pietro Galliani, Miika Hannula, Juha Kontinen

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Hierarchies in Dependence Logic.

Arnaud Durand, Juha Kontinen

ACM Trans. Comput. Log., 2012

2011

A Remark on Negation in Dependence Logic.

Juha Kontinen, Jouko A. Väänänen

Notre Dame J. Formal Log., 2011

Erratum to: On Definability in Dependence Logic.

Juha Kontinen, Jouko A. Väänänen

J. Log. Lang. Inf., 2011

Extensions of MSO and the monadic counting hierarchy.

Juha Kontinen, Hannu Niemistö

Inf. Comput., 2011

Team Logic and Second-Order Logic.

Juha Kontinen, Ville Nurmi

Fundam. Informaticae, 2011

Characterizing Definability of Second-Order Generalized Quantifiers.

Juha Kontinen, Jakub Szymanik

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

2010

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

Juha Kontinen, Heribert Vollmer

Log. Methods Comput. Sci., 2010

Definability of second order generalized quantifiers.

Juha Kontinen

Arch. Math. Log., 2010

2009

A logical characterization of the counting hierarchy.

Juha Kontinen

ACM Trans. Comput. Log., 2009

On Definability in Dependence Logic.

Juha Kontinen, Jouko A. Väänänen

J. Log. Lang. Inf., 2009

2008

A Remark on Collective Quantification.

Juha Kontinen, Jakub Szymanik

J. Log. Lang. Inf., 2008

On Second-Order Monadic Groupoidal Quantifiers.

Juha Kontinen, Heribert Vollmer

Proceedings of the Logic, 2008

2006

The hierarchy theorem for second order generalized quantifiers.

Juha Kontinen

J. Symb. Log., 2006