Juha Kontinen

Person

Affiliation Expiration31/12/2018

Latest publications

  1. Accepted/In press

    Logics for first-order team properties

    Kontinen, J. & Yang, F., 18 Apr 2019, (Accepted/In press) Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings.

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

  2. E-pub ahead of print

    A Logical Approach to Context-Specific Independence

    Corander, J. I., Hyttinen, A. J., Kontinen, J. A., Pensar, J. E. O. & Väänänen, J. A., 2019, In : Annals of Pure and Applied Logic.

    Research output: Contribution to journalArticleScientificpeer-review

  3. 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).

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

View all (65) »

Latest activities

  1. The 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)

    Juha Kontinen (Speaker: Presenter)
    7 May 201911 May 2019

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

  2. The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020),

    Juha Kontinen (Scientific Committee Member)
    May 2019 → …

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

  3. Arnaud Durand

    Juha Kontinen (Host)
    23 Apr 201930 Apr 2019

    Activity: Hosting a visitor typesAcademic visit at UH

View all (209) »

Latest projects

  1. Algoritmisia lähestymistapoja riippuvuuslogiikkaan

    Kontinen, J.

    SUOMEN AKATEMIA

    01/09/201531/08/2017

    Project: Research project

  2. Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021

    Kontinen, J.

    SUOMEN AKATEMIA

    01/09/201731/08/2021

    Project: Research project

View all (8) »

ID: 41241