Photo of Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022020

Research output per year

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

Personal profile

Fields of Science

  • 111 Mathematics

International and National Collaboration Publications and projects within past five years.

Publications

Descriptive complexity of #P functions: A new perspective

Durand, A., Haak, A., Kontinen, J. & Vollmer, H., 30 Apr 2020, In : Journal of Computer and System Sciences. 15 p.

Research output: Contribution to journalArticleScientificpeer-review

Descriptive complexity of real computation and probabilistic independence logic

Hannula, M., Kontinen, J., Bussche, J. V. D. & Virtema, J., Jul 2020, Proceedigs of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, p. 550–563 14 p.

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

Open Access
File

Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings

Herzig, A. (ed.) & Kontinen, J. (ed.), 2020, Springer. 333 p. (Lecture Notes in Computer Science)

Research output: Book/ReportAnthology or special issueScientificpeer-review

Polyteam Semantics

Hannula, M., Kontinen, J. & Virtema, J., 2020, (Accepted/In press) In : Journal of Logic and Computation.

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., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 975-992 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Projects

Activities

29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)

Juha Kontinen (Scientific Committee Member)

Jan 2020Jul 2020

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

30 Years of Finite Model Theory in Finland

Juha Kontinen (Member of organizing committee)

Jan 2020Aug 2021

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Supervisor of the Master's thesis of Tuukka Ylönen.

Juha Kontinen (Supervisor)

Jan 2020May 2020

Activity: Examination typesSupervision of other thesis (Master's, Licentiate)

Member of the doctoral thesis committee of Martin Lück

Juha Kontinen (Opponent)

9 Jan 2020

Activity: Examination typesOpponent of doctoral dissertation

Leibniz University Hannover, Hannover, Germany

Juha Kontinen (Visiting researcher)

7 Jan 202010 Jan 2020

Activity: Visiting an external institution typesAcademic visit to other institution