Juha Kontinen

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 69

Top Venues

CoRR

J. Comput. Syst. Sci.

MFCS

FoIKS

Publications

Kai Sauerwald, Juha Kontinen
A Primer for Preferential Non-Monotonic Propositional Team Logics. CoRR (2024)
Juha Kontinen, Max Sandström, Jonni Virtema
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. FoIKS (2024)
Juha Kontinen, Max Sandström, Jonni Virtema
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. CoRR (2024)
Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. AAAI (2024)
Melissa Antonelli, Arnaud Durand, Juha Kontinen
A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations. MFCS (2024)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA (2023)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. KR (2023)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with probabilistic team semantics and the Boolean negation. CoRR (2023)
Juha Kontinen, Max Sandström, Jonni Virtema
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. MFCS (2023)
Lauri Hella, Juha Kontinen, Kerkko Luosto
Regular Representations of Uniform TC^0. CoRR (2023)
Juha Kontinen, Max Sandström, Jonni Virtema
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. CoRR (2023)
Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer
Parameterized Complexity of Weighted Team Definability. CoRR (2023)
Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. CoRR (2023)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. CoRR (2023)
Juha Kontinen, Fan Yang
Complete Logics for Elementary Team Properties. J. Symb. Log. 88 (2) (2023)
Andreas Herzig, Juha Kontinen
Preface. Ann. Math. Artif. Intell. 90 (2) (2022)
Arnaud Durand, Juha Kontinen, Jouko Väänänen
Modular SAT-based techniques for reasoning tasks in team semantics. CoRR (2022)
Miika Hannula, Minna Hirvonen, Juha Kontinen
On elementary logics for quantitative dependencies. Ann. Pure Appl. Log. 173 (10) (2022)
Juha Kontinen, Arne Meier, Yasir Mahmood
A Parameterized View on the Complexity of Dependence Logic. LFCS (2022)
Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen
Tractability Frontier of Data Complexity in Team Semantics. ACM Trans. Comput. Log. 23 (1) (2022)
Juha Kontinen, Arne Meier, Yasir Mahmood
A parameterized view on the complexity of dependence and independence logic. J. Log. Comput. 32 (8) (2022)
Miika Hannula, Juha Kontinen, Sebastian Link
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. CoRR (2021)
Juha Kontinen, Max Sandström
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. WoLLIC (2021)
Juha Kontinen, Arne Meier, Yasir Mahmood
A Parameterized View on the Complexity of Dependence Logic. CoRR (2021)
Miika Hannula, Minna Hirvonen, Juha Kontinen
On elementary logics for quantitative dependencies. CoRR (2021)
Juha Kontinen, Max Sandström
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. CoRR (2021)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CSL (2021)
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS (2021)
Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
Descriptive complexity of #P functions: A new perspective. J. Comput. Syst. Sci. 116 (2021)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CoRR (2020)
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic. LICS (2020)
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic. CoRR (2020)
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR (2020)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam semantics. J. Log. Comput. 30 (8) (2020)
Juha Kontinen, Fan Yang
Logics for First-Order Team Properties. WoLLIC (2019)
Åsa Hirvonen, Juha Kontinen, Arno Pauly
Continuous Team Semantics. TAMC (2019)
Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer
Logics for Dependence and Independence (Dagstuhl Seminar 19031). Dagstuhl Reports 9 (1) (2019)
Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
A logical approach to context-specific independence. Ann. Pure Appl. Log. 170 (9) (2019)
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
Counting of Teams in First-Order Team Logics. CoRR (2019)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
Facets of Distribution Identities in Probabilistic Team Semantics. JELIA (2019)
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
Counting of Teams in First-Order Team Logics. MFCS (2019)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam Semantics. LFCS (2018)
Antti Hyttinen, Johan Pensar, Juha Kontinen, Jukka Corander
Structure Learning for Bayesian Networks over Labeled DAGs. PGM (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Probabilistic team semantics. CoRR (2018)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
Facets of Distribution Identities in Probabilistic Team Semantics. CoRR (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Probabilistic Team Semantics. FoIKS (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Logics in Team Semantic. ACM Trans. Comput. Log. 19 (1) (2018)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam Semantics. CoRR (2017)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
Modal independence logic. J. Log. Comput. 27 (5) (2017)
Miika Hannula, Juha Kontinen, Sebastian Link
On the Interaction of Inclusion Dependencies with Independence Atoms. LPAR (2017)
Fredrik Engström, Juha Kontinen, Jouko Väänänen
Dependence logic with generalized quantifiers: Axiomatizations. J. Comput. Syst. Sci. 88 (2017)
Juha Kontinen
Computational Aspects of Logics in Team Semantics (Tutorial). STACS (2017)
Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
A Logical Approach to Context-Specific Independence. WoLLIC (2016)
Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
Functions. CoRR (2016)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and Dependence via Multiteam Semantics. FoIKS (2016)
Miika Hannula, Juha Kontinen, Sebastian Link
On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci. 82 (5) (2016)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On Quantified Propositional Logics and the Exponential Time Hierarchy. GandALF (2016)
Miika Hannula, Juha Kontinen
A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput. 249 (2016)
Juha Kontinen, Antti Kuusisto, Jonni Virtema
Decidability of Predicate Logics with Team Semantics. MFCS (2016)
Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
Functions. CSL (2016)
Miika Hannula, Juha Kontinen
Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput. 25 (3) (2015)
Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen
Tractability Frontier of Data Complexity in Team Semantics. GandALF (2015)
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
Dependence Logic with a Majority Quantifier. J. Log. Lang. Inf. 24 (3) (2015)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and Dependence via Multiteam Semantics. CoRR (2015)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Independence and Inclusion Logic. CoRR (2015)
Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports 5 (6) (2015)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Independence and Inclusion Logic. MFCS (1) (2015)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
A Van Benthem Theorem for Modal Team Semantics. CSL (2015)
Miika Hannula, Juha Kontinen, Sebastian Link
On Independence Atoms and Keys. CIKM (2014)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of two-variable dependence logic and IF-logic. Inf. Comput. 239 (2014)
Juha Kontinen, Antti Kuusisto, Jonni Virtema
Decidable Fragments of Logics Based on Team Semantics. CoRR (2014)
Miika Hannula, Juha Kontinen
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. FoIKS (2014)
Miika Hannula, Juha Kontinen, Sebastian Link
On Independence Atoms and Keys. CoRR (2014)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
A Van Benthem Theorem for Modal Team Semantics. CoRR (2014)
Juha Kontinen, Jakub Szymanik
A characterization of definability of second-order generalized quantifiers with applications to non-definability. J. Comput. Syst. Sci. 80 (6) (2014)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
Modal Independence Logic. CoRR (2014)
Miika Hannula, Juha Kontinen
Hierarchies in independence and inclusion logic with strict semantics. CoRR (2014)
Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer
A Fragment of Dependence Logic Capturing Polynomial Time Log. Methods Comput. Sci. 10 (3) (2014)
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
Modal Independence Logic. Advances in Modal Logic (2014)
Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
Dependence Logic with Generalized Quantifiers: Axiomatizations. WoLLIC (2013)
Pietro Galliani, Miika Hannula, Juha Kontinen
Hierarchies in independence logic. CSL (2013)
Fredrik Engström, Juha Kontinen
Characterizing quantifier extensions of dependence logic. J. Symb. Log. 78 (1) (2013)
Miika Hannula, Juha Kontinen
A finite axiomatization of conditional independence and inclusion dependencies. CoRR (2013)
Pietro Galliani, Miika Hannula, Juha Kontinen
Hierarchies in independence logic CoRR (2013)
Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports 3 (2) (2013)
Juha Kontinen, Jouko A. Väänänen
Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Log. 164 (11) (2013)
Juha Kontinen, Sebastian Link, Jouko A. Väänänen
Independence in Database Relations. WoLLIC (2013)
Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl
Editorial Introduction. Stud Logica 101 (2) (2013)
Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
Dependence Logic with Generalized Quantifiers: Axiomatizations CoRR (2013)
Juha Kontinen, Jouko A. Väänänen
Axiomatizing first order consequences in dependence logic CoRR (2012)
Arnaud Durand, Juha Kontinen
Hierarchies in Dependence Logic. ACM Trans. Comput. Log. 13 (4) (2012)
Juha Kontinen, Jakub Szymanik
Characterizing Definability of Second-Order Generalized Quantifiers. WoLLIC (2011)
Juha Kontinen, Jouko A. Väänänen
Erratum to: On Definability in Dependence Logic. J. Log. Lang. Inf. 20 (1) (2011)
Arnaud Durand, Juha Kontinen
Hierarchies in Dependence Logic CoRR (2011)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of Two-Variable Dependence Logic and IF-Logic. LICS (2011)
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
Dependence logic with a majority quantifier. FSTTCS (2011)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of two-variable Dependence Logic and IF-Logic CoRR (2011)
Juha Kontinen, Hannu Niemistö
Extensions of MSO and the monadic counting hierarchy. Inf. Comput. 209 (1) (2011)
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
Dependence logic with a majority quantifier CoRR (2011)

Juha Kontinen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Juha Kontinen