No photo of Miika Hannula
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

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

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

Publications 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. (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

Validity and entailment in modal and propositional dependence logics

Hannula, M., 26 Apr 2019, In : Logical Methods in Computer Science. 15, 2, p. 4:1–4:24 24 p., 24.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

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

Automated Reasoning About Key Sets

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

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

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