Photo of Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022021
If you made any changes in Pure these will be visible here soon.

Publications 2002 2019

2019

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 975-992 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Continuous Team Semantics

Hirvonen, Å., Kontinen, J. & Pauly, A., 2019, Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). Springer, Vol. 11436. p. 262-278 17 p. (Lecture Notes in Computer Science; vol. 11436).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., Aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Rossmanith, P., Heggernes, P. & Katoen, J-P. (eds.). Vol. 138. p. 19:1-19:15 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 138).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

Facets of Distribution Identities in Probabilistic Team Semantics

Hannula, M., Hirvonen, Å., Kontinen, J., Kulikov, V. & Virtema, J., 2019, Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, Vol. 11468. p. 304-320 17 p. (Lecture Notes in Computer Science; vol. 11468).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Logics for Dependence and Independence (Dagstuhl Seminar 19031).

Grädel, E., Kolaitis, P. G., Kontinen, J. & Vollmer, H., 2019, 19 p.

Research output: Book/ReportCommissioned reportProfessional

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 Apr 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer-Verlag, Vol. 11541. p. 392-414 23 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2018

Approximation and dependence via multiteam semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., Aug 2018, In : Annals of Mathematics and Artificial Intelligence. 83, 3-4, p. 297-320 24 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Complexity of Propositional Logics in Team Semantic

Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., Feb 2018, In : ACM Transactions on Computational Logic. 19, 1, 14 p., 2.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Polyteam Semantics

Hannula, M., Kontinen, J. & Virtema, J., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Springer, Vol. 2018. p. 190–210 21 p. (Lecture Notes in Computer Science; vol. 10703).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Probabilistic Team Semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2018, Foundations of Information and Knowledge Systems. Ferrarotti, F. & Woltran, S. (eds.). Cham: Springer International Publishing, p. 186-206 21 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Structure Learning for Bayesian Networks over Labeled DAGs

Hyttinen, A., Pensar, J., Kontinen, J. & Corander, J., 2018, Proceedings of the Ninth International Conference on Probabilistic Graphical Models. PMLR, Vol. 72. p. 133-144 12 p. (Proceedings of Machine Learning Research; vol. 72).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2017

Computational Aspects of Logics in Team Semantics (Tutorial)

Kontinen, J., 2017, 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017). Vollmer, H. & Vallée, B. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 66. p. 1:1-1:1 1 p. 1. (Leibniz international proceedings in informatics; vol. 66).

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

Open Access
File

Dependence logic with generalized quantifiers: Axiomatizations

Engström, F., Kontinen, J. & Väänänen, J., 2017, In : Journal of Computer and System Sciences. 88, p. 90-102 13 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Modal Independence Logic

Kontinen, J., Müller, J-S., Schnoor, H. & Vollmer, H., 2017, In : Journal of Logic and Computation. 27, 5, p. 1333–1352 20 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

On the Interaction of Inclusion Dependencies with Independence Atoms

Hannula, M., Kontinen, J. A. & Link, S., 2017, Logic for Programming, Artificial Intelligence, and Reasoning - 21th International Conference, LPAR-21 2017. Eiter, T. & Sands, D. (eds.). EasyChair Publications, p. 212--226 15 p. (EPiC Series in Computing; vol. 46).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2016

A finite axiomatization of conditional independence and inclusion dependencies

Hannula, M. & Kontinen, J., Aug 2016, In : Information and Computation. 249, p. 121 - 137 17 p.

Research output: Contribution to journalArticleScientificpeer-review

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., Aug 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Berlin: Springer-Verlag, p. 165-182 18 p. (Lecture Notes in Computer Science; vol. 9803).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Approximation and Dependence via Multiteam Semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2016, Proceedings of 9th International Symposium on Foundations of Information and Knowledge Systems . Gyssens, M. & Simari, G. (eds.). Springer, Vol. 9616. p. 271-291 21 p. (Lecture Notes in Computer Science; vol. 9616).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Decidability of predicate logics with team semantics

Kontinen, J. A., Virtema, J. T. & Kuusisto, A., 2016, In : Leibniz international proceedings in informatics. 58, p. 60:1-60:14 14 p., 60.

Research output: Contribution to journalArticleScientificpeer-review

Dependence Logic: Theory and Applications

Abramsky, S., Kontinen, J. (ed.), Väänänen, J. (ed.) & Vollmer, H., 2016, Basel: Birkhäuser Basel. 270 p.

Research output: Book/ReportAnthology or special issueScientificpeer-review

Descriptive Complexity of #AC^0 Functions

Durand, A., Haak, A., Kontinen, J., Vollmer, H. & Vollmer, H., 2016, Conference on Computer Science Logic : CSL 2016, August 29 to September 1, 2016, Marseille, France. Talbot, J-M. & Regnier, L. (eds.). Saarbrücken/Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, p. 1-16 16 p. 20. (Leibniz International Proceedings in Informatics; vol. 62).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Expressivity and Complexity of Dependence Logic

Durand, A., Kontinen, J. & Vollmer, H., Jun 2016, Dependence Logic: Theory and Applications. Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H. (eds.). Cham: Springer International Publishing AG, p. 5-32 28 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

On quantified propositional logics and the exponential time hierarchy

Hannula, M., Kontinen, J., Lück, M. & Virtema, J., 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification : EPTCS. Cantone, D. & Delzanno, G. (eds.). p. 198-212 14 p. (Electronic Proceedings in Theoretical Computer Science; vol. 226).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

Hannula, M., Kontinen, J. & Link, S., Aug 2016, In : Journal of Computer and System Sciences. 82, 5, p. 856-877 22 p.

Research output: Contribution to journalArticleScientificpeer-review

2015

A Van Benthem Theorem for Modal Team Semantics

Kontinen, J., Müller, J-S., Schnoor, H. & Vollmer, H., 2015, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Kreutzer, S. (ed.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 277-291 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Complexity of Propositional Independence and Inclusion Logic

Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., 2015, Mathematical foundations of computer science 2015: 40th International Symposium, MFCS 2015 Milan, Italy, August 24–28, 2015 Proceedings, Part I. Italiano, G. F., Pighizzini, G. & Sannella, D. T. (eds.). Heidelberg: Springer, p. 269-280 12 p. (Lectures Notes in Computer Science; vol. 9324).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Dependence Logic with a Majority Quantifier

Durand, A., Ebbing, J., Kontinen, J. & Vollmer, H., 2015, In : Journal of Logic, Language and Information. 24, 3, p. 289-305 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Hierarchies in independence and inclusion logic with strict semantics

Hannula, M. & Kontinen, J., Jun 2015, In : Journal of Logic and Computation. 25, 3, p. 879-897 19 p.

Research output: Contribution to journalArticleScientificpeer-review

Logics for Dependence and Independence (Dagstuhl Seminar 15261)

Grädel, E., Kontinen, J., Väänänen, J. & Vollmer, H., 2015, Leibniz: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 16 p.

Research output: Book/ReportCommissioned reportProfessional

Logic without borders: Essays on set theory, model theory, philosophical logic, and philosophy of mathematics

Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A., 2015, de Gruyter. 421 p. (Ontos Mathematical Logic; vol. 5)

Research output: Book/ReportAnthology or special issueScientificpeer-review

On Natural Deduction in Dependence Logic

Kontinen, J., 2015, Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. de Gruyter, (Ontos Mathematical Logic; no. 5).

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Tractability Frontier of Data Complexity in Team Semantics

Durand, A., Kontinen, J., de Rugy-Altherre, N. & Väänänen, J., 2015, Unknown host publication. Esparza, J. & Tronci, E. (eds.). p. 73-85 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 193).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2014

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

Kontinen, J. & Szymanik, J., Sep 2014, In : Journal of Computer and System Sciences. 80, 6, p. 1152-1162 11 p.

Research output: Contribution to journalArticleScientificpeer-review

A finite axiomatization of conditional independence and inclusion dependencies

Hannula, M. & Kontinen, J., 2014, Foundations of Information and Knowledge Systems: 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings. Beierle, C. & Meghini, C. (eds.). Heidelberg: Springer Science+Business Media, p. 211-229 19 p. (Lecture Notes in Computer Science; vol. 8367).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

File

A Fragment of Dependence Logic Capturing Polynomial Time

Ebbing, J., Kontinen, J., Müller, J-S. & Vollmer, H., 2014, In : Logical Methods in Computer Science. 10, 3, p. Paper 3 13 p.

Research output: Contribution to journalArticleScientificpeer-review

Complexity of two-variable dependence logic and IF-logic

Kontinen, J., Kuusisto, A., Lohmann, P. & Virtema, J., 2014, In : Information and Computation. 239, p. 237-253 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Modal Independence Logic

Kontinen, J., Müller, J-S., Schnoor, H. & Vollmer, H., 2014, Advances in Modal Logic. Goré, R., Kooi, B. P. & Kurucz, A. (eds.). London: College publications, Vol. 10. p. 353-372 20 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

On Independence Atoms and Keys

Hannula, M., Kontinen, J. & Link, S., 2014, CIKM'14 Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management : Proceedings of the 23rd ACM International Conference, CIKM 2014, Shanghai, China, November 3-7, 2014. New York: ACM, p. 1229-1238 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2013

Axiomatizing first-order consequences in dependence logic

Kontinen, J. & Väänänen, J., Nov 2013, In : Annals of Pure and Applied Logic. 164, 11, p. 1101-1117 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Characterizing Quantifier Extensions of Dependence Logic

Engström, F. & Kontinen, J., 2013, In : Journal of Symbolic Logic. 78, 1, p. 307-316 10 p.

Research output: Contribution to journalArticleScientificpeer-review

Dependence Logic: A survey of some recent work

Kontinen, J., 2013, In : Philosophy Compass. 8, 10, p. 950-963 14 p.

Research output: Contribution to journalArticleScientificpeer-review

Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)

Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H., 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 10 p. (Dagstuhl Reports; vol. 3, no. 2)

Research output: Book/ReportCommissioned reportProfessional

Dependence Logic with Generalized Quantifiers: Axiomatizations

Engström, F., Kontinen, J. & Väänänen, J., 2013, Logic, Language, Information, and Computation. Libkin, L., Kohlenbach, U. & Queiroz, R. (eds.). Springer, p. 138-152 15 p. (Lecture Notes in Computer Science; vol. 8071).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Editorial Introduction: Special Issue Dependence and Independence in Logic

Kontinen, J., Väänänen, J. & Westerståhl, D., Apr 2013, In : Studia Logica. 101, 2, p. 233-236 4 p.

Research output: Contribution to journalArticleScientific

Hierarchies in independence logic

Galliani, P., Hannula, M. & Kontinen, J., 2013, Computer Science Logic 2013: Proceedings of the 22nd Annual Conference of the EACSL CSL’13, September 2–5, 2013, Torino, Italy. Ronchi Della Rocca, S. (ed.). p. 263-280 18 p. (Leibniz International Proceedings in Informatics; vol. 23).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Independence in Database Relations

Kontinen, J., Link, S. & Väänänen, J., 2013, Logic, Language, Information, and Computation. Libkin, L., Kohlenbach, U. & Queiroz, R. (eds.). Springer, p. 179-193 15 p. (Lecture Notes in Computer Science; vol. 8071).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Studia Logica Special Issue: Dependence and Independence in Logic

Kontinen, J. (ed.), Väänänen, J. (ed.) & Westerståhl, D. (ed.), Apr 2013, Springer. (Studia Logica; vol. 101, no. 2)

Research output: Book/ReportAnthology or special issueScientificpeer-review

2012

Characterizing Definability of Second-Order Generalized Quantifiers

Kontinen, J. & Szymanik, J., 23 Jul 2012, Logic and Interactive Rationality : LIRa Yearbook 2011. Baltag, A., Grossi, D., Marcoci, A., Rodenhauser, B. & Smets, S. (eds.). Amsterdam: Logic and Interactive Rationality, p. 231-252 23 p.

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

Hierarchies in Dependence Logic

Durand, A. & Kontinen, J., Oct 2012, In : ACM Transactions on Computational Logic. 13, 4, 21 p.

Research output: Contribution to journalArticleScientificpeer-review

2011

A Remark on Negation in Dependence Logic

Kontinen, J. & Väänänen, J., 2011, In : Notre Dame Journal of Formal Logic. 52, 1, p. 55-65 11 p.

Research output: Contribution to journalArticleScientificpeer-review