default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJuha Kontinen
Person information
- affiliation: University of Helsinki, Department of Mathematics and Statistics, Finland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2025
[j37]Juha Kontinen
, Max Sandström, Jonni Virtema:
Set semantics for asynchronous TeamLTL: Expressivity and complexity. Inf. Comput. 304: 105299 (2025)- [j36]Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema:
Logics with probabilistic team semantics and the Boolean negation. J. Log. Comput. 35(3) (2025) - 2024
- [j35]Arnaud Durand, Juha Kontinen, Jouko Väänänen:
Modular SAT-based techniques for reasoning tasks in team semantics. J. Comput. Syst. Sci. 146: 103575 (2024) - [j34]Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer:
Parameterized complexity of weighted team definability. Math. Struct. Comput. Sci. 34(5): 375-389 (2024) - 2023
- [j33]Juha Kontinen, Fan Yang:
Complete Logics for Elementary Team Properties. J. Symb. Log. 88(2): 579-619 (2023) - 2022
- [j32]Andreas Herzig, Juha Kontinen:
Preface. Ann. Math. Artif. Intell. 90(2-3): 145-147 (2022) - [j31]Miika Hannula, Minna Hirvonen, Juha Kontinen:
On elementary logics for quantitative dependencies. Ann. Pure Appl. Log. 173(10): 103104 (2022) - [j30]Juha Kontinen, Arne Meier, Yasir Mahmood:
A parameterized view on the complexity of dependence and independence logic. J. Log. Comput. 32(8): 1624-1644 (2022) - [j29]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): 3:1-3:21 (2022) - 2021
- [j28]Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer:
Descriptive complexity of #P functions: A new perspective. J. Comput. Syst. Sci. 116: 40-54 (2021) - 2020
- [j27]Miika Hannula, Juha Kontinen, Jonni Virtema:
Polyteam semantics. J. Log. Comput. 30(8): 1541-1566 (2020) - 2019
- [j26]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): 975-992 (2019) - 2018
- [j25]Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema:
Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. 83(3-4): 297-320 (2018) - [j24]Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer:
Complexity of Propositional Logics in Team Semantic. ACM Trans. Comput. Log. 19(1): 2:1-2:14 (2018) - 2017
- [j23]Fredrik Engström, Juha Kontinen, Jouko Väänänen:
Dependence logic with generalized quantifiers: Axiomatizations. J. Comput. Syst. Sci. 88: 90-102 (2017) - [j22]Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
Modal independence logic. J. Log. Comput. 27(5): 1333-1352 (2017) - 2016
- [j21]Miika Hannula, Juha Kontinen:
A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput. 249: 121-137 (2016) - [j20]Miika Hannula, Juha Kontinen, Sebastian Link:
On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci. 82(5): 856-877 (2016) - 2015
- [j19]Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer:
Dependence Logic with a Majority Quantifier. J. Log. Lang. Inf. 24(3): 289-305 (2015) - [j18]Miika Hannula, Juha Kontinen:
Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput. 25(3): 879-897 (2015) - 2014
- [j17]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) - [j16]Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema:
Complexity of two-variable dependence logic and IF-logic. Inf. Comput. 239: 237-253 (2014) - [j15]Juha Kontinen, Jakub Szymanik:
A characterization of definability of second-order generalized quantifiers with applications to non-definability. J. Comput. Syst. Sci. 80(6): 1152-1162 (2014) - 2013
- [j14]Juha Kontinen, Jouko A. Väänänen:
Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Log. 164(11): 1101-1117 (2013) - [j13]Fredrik Engström, Juha Kontinen:
Characterizing quantifier extensions of dependence logic. J. Symb. Log. 78(1): 307-316 (2013) - [j12]Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl:
Editorial Introduction. Stud Logica 101(2): 233-236 (2013) - 2012
- [j11]Arnaud Durand, Juha Kontinen:
Hierarchies in Dependence Logic. ACM Trans. Comput. Log. 13(4): 31:1-31:21 (2012) - 2011
- [j10]Juha Kontinen, Ville Nurmi:
Team Logic and Second-Order Logic. Fundam. Informaticae 106(2-4): 259-272 (2011) - [j9]Juha Kontinen, Hannu Niemistö:
Extensions of MSO and the monadic counting hierarchy. Inf. Comput. 209(1): 1-19 (2011) - [j8]Juha Kontinen, Jouko A. Väänänen:
Erratum to: On Definability in Dependence Logic. J. Log. Lang. Inf. 20(1): 133-134 (2011) - [j7]Juha Kontinen, Jouko A. Väänänen:
A Remark on Negation in Dependence Logic. Notre Dame J. Formal Log. 52(1): 55-65 (2011) - 2010
- [j6]Juha Kontinen:
Definability of second order generalized quantifiers. Arch. Math. Log. 49(3): 379-398 (2010) - [j5]Juha Kontinen, Heribert Vollmer:
On Second-Order Monadic Monoidal and Groupoidal Quantifiers. Log. Methods Comput. Sci. 6(3) (2010) - 2009
- [j4]Juha Kontinen, Jouko A. Väänänen:
On Definability in Dependence Logic. J. Log. Lang. Inf. 18(3): 317-332 (2009) - [j3]Juha Kontinen:
A logical characterization of the counting hierarchy. ACM Trans. Comput. Log. 10(1): 7:1-7:21 (2009) - 2008
- [j2]Juha Kontinen, Jakub Szymanik:
A Remark on Collective Quantification. J. Log. Lang. Inf. 17(2): 131-140 (2008) - 2006
- [j1]Juha Kontinen:
The hierarchy theorem for second order generalized quantifiers. J. Symb. Log. 71(1): 188-202 (2006)
Conference and Workshop Papers
- 2025
- [c42]Melissa Antonelli, Arnaud Durand, Juha Kontinen:
Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations. MFCS 2025: 10:1-10:18 - 2024
- [c41]Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema:
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. AAAI 2024: 12278-12285 - [c40]Juha Kontinen, Max Sandström, Jonni Virtema:
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. FoIKS 2024: 275-286 - [c39]Melissa Antonelli, Arnaud Durand, Juha Kontinen:
Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations (short paper). ICTCS 2024: 166-172 - [c38]Melissa Antonelli, Arnaud Durand, Juha Kontinen:
A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations. MFCS 2024: 10:1-10:18 - [c37]Kai Sauerwald, Juha Kontinen:
A First Peek into Preferential Logics with Team Semantics. NMR 2024: 94-100 - 2023
- [c36]Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema:
Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA 2023: 665-680 - [c35]Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema:
Unified Foundations of Team Semantics via Semirings. KR 2023: 75-85 - [c34]Juha Kontinen, Max Sandström, Jonni Virtema:
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. MFCS 2023: 60:1-60:14 - 2022
- [c33]Juha Kontinen, Arne Meier, Yasir Mahmood:
A Parameterized View on the Complexity of Dependence Logic. LFCS 2022: 125-142 - 2021
- [c32]Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema:
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CSL 2021: 27:1-27:22 - [c31]Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS 2021: 52:1-52:17 - [c30]Juha Kontinen, Max Sandström:
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. WoLLIC 2021: 302-318 - 2020
- [c29]Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema:
Descriptive complexity of real computation and probabilistic independence logic. LICS 2020: 550-563 - 2019
- [c28]Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema:
Facets of Distribution Identities in Probabilistic Team Semantics. JELIA 2019: 304-320 - [c27]Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang:
Counting of Teams in First-Order Team Logics. MFCS 2019: 19:1-19:15 - [c26]Åsa Hirvonen, Juha Kontinen, Arno Pauly:
Continuous Team Semantics. TAMC 2019: 262-278 - [c25]Juha Kontinen, Fan Yang:
Logics for First-Order Team Properties. WoLLIC 2019: 392-414 - 2018
- [c24]Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema:
Probabilistic Team Semantics. FoIKS 2018: 186-206 - [c23]Miika Hannula, Juha Kontinen, Jonni Virtema:
Polyteam Semantics. LFCS 2018: 190-210 - [c22]Antti Hyttinen, Johan Pensar, Juha Kontinen, Jukka Corander:
Structure Learning for Bayesian Networks over Labeled DAGs. PGM 2018: 133-144 - 2017
- [c21]Miika Hannula, Juha Kontinen, Sebastian Link:
On the Interaction of Inclusion Dependencies with Independence Atoms. LPAR 2017: 212-226 - [c20]Juha Kontinen:
Computational Aspects of Logics in Team Semantics (Tutorial). STACS 2017: 1:1-1:1 - 2016
- [c19]Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer:
Descriptive Complexity of #AC0 Functions. CSL 2016: 20:1-20:16 - [c18]Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema:
Approximation and Dependence via Multiteam Semantics. FoIKS 2016: 271-291 - [c17]Juha Kontinen, Antti Kuusisto, Jonni Virtema:
Decidability of Predicate Logics with Team Semantics. MFCS 2016: 60:1-60:14 - [c16]Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen:
A Logical Approach to Context-Specific Independence. WoLLIC 2016: 165-182 - [c15]Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema:
On Quantified Propositional Logics and the Exponential Time Hierarchy. GandALF 2016: 198-212 - 2015
- [c14]Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
A Van Benthem Theorem for Modal Team Semantics. CSL 2015: 277-291 - [c13]Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer:
Complexity of Propositional Independence and Inclusion Logic. MFCS (1) 2015: 269-280 - [c12]Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen:
Tractability Frontier of Data Complexity in Team Semantics. GandALF 2015: 73-85 - 2014
- [c11]Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
Modal Independence Logic. Advances in Modal Logic 2014: 353-372 - [c10]Miika Hannula, Juha Kontinen, Sebastian Link:
On Independence Atoms and Keys. CIKM 2014: 1229-1238 - [c9]Miika Hannula, Juha Kontinen:
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. FoIKS 2014: 211-229 - 2013
- [c8]Pietro Galliani, Miika Hannula, Juha Kontinen:
Hierarchies in independence logic. CSL 2013: 263-280 - [c7]Fredrik Engström, Juha Kontinen, Jouko A. Väänänen:
Dependence Logic with Generalized Quantifiers: Axiomatizations. WoLLIC 2013: 138-152 - [c6]Juha Kontinen, Sebastian Link, Jouko A. Väänänen:
Independence in Database Relations. WoLLIC 2013: 179-193 - 2011
- [c5]Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer:
Dependence logic with a majority quantifier. FSTTCS 2011: 252-263 - [c4]Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema:
Complexity of Two-Variable Dependence Logic and IF-Logic. LICS 2011: 289-298 - [c3]Juha Kontinen, Jakub Szymanik:
Characterizing Definability of Second-Order Generalized Quantifiers. WoLLIC 2011: 187-200 - 2009
- [c2]Juha Kontinen, Ville Nurmi:
Team Logic and Second-Order Logic. WoLLIC 2009: 230-241 - 2008
- [c1]Juha Kontinen, Heribert Vollmer:
On Second-Order Monadic Groupoidal Quantifiers. WoLLIC 2008: 238-248
Parts in Books or Collections
- 2016
- [p4]Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Introduction. Dependence Logic 2016: 1-3 - [p3]Arnaud Durand, Juha Kontinen, Heribert Vollmer:
Expressivity and Complexity of Dependence Logic. Dependence Logic 2016: 5-32 - 2015
- [p2]Juha Kontinen:
On Natural Deduction in Dependence Logic. Logic Without Borders 2015: 297-304 - [p1]Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces:
From the editors. Logic Without Borders 2015: VII-VIII
Editorship
- 2020
- [e3]Andreas Herzig, Juha Kontinen:
Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Lecture Notes in Computer Science 12012, Springer 2020, ISBN 978-3-030-39950-4 [contents] - 2016
- [e2]Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Dependence Logic, Theory and Applications. Springer 2016, ISBN 978-3-319-31801-1 [contents] - 2015
- [e1]Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces:
Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Ontos Mathematical Logic 5, De Gruyter 2015, ISBN 978-1-61451-687-3 [contents]
Informal and Other Publications
- 2025
- [i46]Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker:
Logic and Computation Through the Lens of Semirings. CoRR abs/2502.12939 (2025) - [i45]Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link:
Independence Under Incomplete Information. CoRR abs/2505.05866 (2025) - [i44]Kai Sauerwald, Arne Meier, Juha Kontinen:
On the Complexity and Properties of Preferential Propositional Dependence Logic. CoRR abs/2505.08522 (2025) - [i43]Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema:
Local consistency and axioms of functional dependence. CoRR abs/2505.11057 (2025) - [i42]Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen:
The flattening operator in team-based logics. CoRR abs/2505.21149 (2025) - [i41]Melissa Antonelli, Arnaud Durand, Juha Kontinen:
Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations. CoRR abs/2506.23404 (2025) - [i40]Melissa Antonelli, Arnaud Durand, Juha Kontinen:
Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations. CoRR abs/2508.19392 (2025) - 2024
- [i39]Kai Sauerwald, Juha Kontinen:
A Primer for Preferential Non-Monotonic Propositional Team Logics. CoRR abs/2405.06973 (2024) - [i38]Juha Kontinen, Max Sandström, Jonni Virtema:
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. CoRR abs/2406.04833 (2024) - [i37]Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich:
Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111). Dagstuhl Reports 14(3): 31-51 (2024) - 2023
- [i36]Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer:
Parameterized Complexity of Weighted Team Definability. CoRR abs/2302.00541 (2023) - [i35]Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema:
Unified Foundations of Team Semantics via Semirings. CoRR abs/2303.07926 (2023) - [i34]Juha Kontinen, Max Sandström, Jonni Virtema:
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. CoRR abs/2304.10915 (2023) - [i33]Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema:
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. CoRR abs/2305.11833 (2023) - [i32]Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema:
Logics with probabilistic team semantics and the Boolean negation. CoRR abs/2306.00420 (2023) - [i31]Lauri Hella, Juha Kontinen, Kerkko Luosto:
Regular Representations of Uniform TC^0. CoRR abs/2309.06926 (2023) - 2022
- [i30]Arnaud Durand, Juha Kontinen, Jouko Väänänen:
Modular SAT-based techniques for reasoning tasks in team semantics. CoRR abs/2204.00576 (2022) - 2021
- [i29]Miika Hannula, Juha Kontinen, Sebastian Link:
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. CoRR abs/2101.02466 (2021) - [i28]Miika Hannula, Minna Hirvonen, Juha Kontinen:
On elementary logics for quantitative dependencies. CoRR abs/2104.04313 (2021) - [i27]Juha Kontinen, Arne Meier, Yasir Mahmood:
A Parameterized View on the Complexity of Dependence Logic. CoRR abs/2109.09342 (2021) - [i26]Juha Kontinen, Max Sandström:
On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. CoRR abs/2110.11109 (2021) - 2020
- [i25]Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema:
Descriptive complexity of real computation and probabilistic independence logic. CoRR abs/2003.00644 (2020) - [i24]Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema:
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CoRR abs/2007.03867 (2020) - [i23]Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang:
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR abs/2010.03311 (2020) - 2019
- [i22]Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang:
Counting of Teams in First-Order Team Logics. CoRR abs/1902.00246 (2019) - [i21]Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer:
Logics for Dependence and Independence (Dagstuhl Seminar 19031). Dagstuhl Reports 9(1): 28-46 (2019) - 2018
- [i20]Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema:
Probabilistic team semantics. CoRR abs/1803.02180 (2018) - [i19]Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema:
Facets of Distribution Identities in Probabilistic Team Semantics. CoRR abs/1812.05873 (2018) - 2017
- [i18]Miika Hannula, Juha Kontinen, Jonni Virtema:
Polyteam Semantics. CoRR abs/1704.02158 (2017) - 2016
- [i17]Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer:
Descriptive Complexity of #AC0 Functions. CoRR abs/1604.06617 (2016) - 2015
- [i16]Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer:
Complexity of Propositional Independence and Inclusion Logic. CoRR abs/1504.06135 (2015) - [i15]Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema:
Approximation and Dependence via Multiteam Semantics. CoRR abs/1510.09040 (2015) - [i14]Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports 5(6): 70-85 (2015) - 2014
- [i13]Miika Hannula, Juha Kontinen:
Hierarchies in independence and inclusion logic with strict semantics. CoRR abs/1401.3232 (2014) - [i12]Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
Modal Independence Logic. CoRR abs/1404.0144 (2014) - [i11]Miika Hannula, Juha Kontinen, Sebastian Link:
On Independence Atoms and Keys. CoRR abs/1404.4468 (2014) - [i10]Juha Kontinen, Antti Kuusisto, Jonni Virtema:
Decidable Fragments of Logics Based on Team Semantics. CoRR abs/1410.5037 (2014) - [i9]Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
A Van Benthem Theorem for Modal Team Semantics. CoRR abs/1410.6648 (2014) - 2013
- [i8]Fredrik Engström, Juha Kontinen, Jouko A. Väänänen:
Dependence Logic with Generalized Quantifiers: Axiomatizations. CoRR abs/1304.0611 (2013) - [i7]Pietro Galliani, Miika Hannula, Juha Kontinen:
Hierarchies in independence logic. CoRR abs/1304.4391 (2013) - [i6]Miika Hannula, Juha Kontinen:
A finite axiomatization of conditional independence and inclusion dependencies. CoRR abs/1309.4927 (2013) - [i5]Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer:
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports 3(2): 45-54 (2013) - 2012
- [i4]Juha Kontinen, Jouko A. Väänänen:
Axiomatizing first order consequences in dependence logic. CoRR abs/1208.0176 (2012) - 2011
- [i3]Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema:
Complexity of two-variable Dependence Logic and IF-Logic. CoRR abs/1104.3148 (2011) - [i2]Arnaud Durand, Juha Kontinen:
Hierarchies in Dependence Logic. CoRR abs/1105.3324 (2011) - [i1]Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer:
Dependence logic with a majority quantifier. CoRR abs/1109.4750 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-10-16 00:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
