Inget foto på Miika Hannula
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20132019
Om du gjort några ändringar i Pure kommer de visas här snart.

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer 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. (red.). Springer, Vol. 11468. s. 304-320 17 s. (Lecture Notes in Computer Science; vol. 11468).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Validity and entailment in modal and propositional dependence logics

Hannula, M., 26 apr 2019, I : Logical Methods in Computer Science. 15, 2, s. 4:1–4:24 24 s., 24.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Approximation and dependence via multiteam semantics

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Automated Reasoning About Key Sets

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Complexity of Propositional Logics in Team Semantic

Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., feb 2018, I : ACM Transactions on Computational Logic. 19, 1, 14 s., 2.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil