Ei valokuvaa: Miika Hannula
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20132019
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Julkaisut 2013 2019

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. (toim.). Springer, Vuosikerta 11468. s. 304-320 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11468).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Validity and entailment in modal and propositional dependence logics

Hannula, M., 26 huhtikuuta 2019, julkaisussa : Logical Methods in Computer Science. 15, 2, s. 4:1–4:24 24 Sivumäärä, 24.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Approximation and dependence via multiteam semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., elokuuta 2018, julkaisussa : Annals of Mathematics and Artificial Intelligence. 83, 3-4, s. 297-320 24 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Automated Reasoning About Key Sets

Hannula, M. & Link, S., 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018. Galmiche, D., Schulz, S. & Sebastiani, R. (toim.). Springer, s. 47-63 (Lecture Notes in Computer Science; Vuosikerta 10900).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Complexity of Propositional Logics in Team Semantic

Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., helmikuuta 2018, julkaisussa : ACM Transactions on Computational Logic. 19, 1, 14 Sivumäärä, 2.

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto