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.

Publications 2013 2019

Filter
Conference contribution
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

2018

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

On the Interaction of Functional and Inclusion Dependencies with Independence Atoms

Hannula, M. & Link, S., 2018, Database Systems for Advanced Applications. DASFAA 2018.: 23rd International Conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings, Part II. Pei, J., Manolopoulos, Y., Sadiq, S. & Li, J. (eds.). Springer, p. 353-369 17 p. (Lecture Notes in Computer Science; vol. 10828).

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

Polyteam Semantics

Hannula, M., Kontinen, J. & Virtema, J., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Springer, Vol. 2018. p. 190–210 21 p. (Lecture Notes in Computer Science; vol. 10703).

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

Probabilistic Team Semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2018, Foundations of Information and Knowledge Systems. Ferrarotti, F. & Woltran, S. (eds.). Cham: Springer International Publishing, p. 186-206 21 p. (Lecture Notes in Computer Science).

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

2017

On the Interaction of Inclusion Dependencies with Independence Atoms

Hannula, M., Kontinen, J. A. & Link, S., 2017, Logic for Programming, Artificial Intelligence, and Reasoning - 21th International Conference, LPAR-21 2017. Eiter, T. & Sands, D. (eds.). EasyChair Publications, p. 212--226 15 p. (EPiC Series in Computing; vol. 46).

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

2016

Approximation and Dependence via Multiteam Semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2016, Proceedings of 9th International Symposium on Foundations of Information and Knowledge Systems . Gyssens, M. & Simari, G. (eds.). Springer, Vol. 9616. p. 271-291 21 p. (Lecture Notes in Computer Science; vol. 9616).

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

On quantified propositional logics and the exponential time hierarchy

Hannula, M., Kontinen, J., Lück, M. & Virtema, J., 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification : EPTCS. Cantone, D. & Delzanno, G. (eds.). p. 198-212 14 p. (Electronic Proceedings in Theoretical Computer Science; vol. 226).

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

2015

Complexity of Propositional Independence and Inclusion Logic

Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., 2015, Mathematical foundations of computer science 2015: 40th International Symposium, MFCS 2015 Milan, Italy, August 24–28, 2015 Proceedings, Part I. Italiano, G. F., Pighizzini, G. & Sannella, D. T. (eds.). Heidelberg: Springer, p. 269-280 12 p. (Lectures Notes in Computer Science; vol. 9324).

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

Reasoning About Embedded Dependencies Using Inclusion Dependencies

Hannula, M., 2015, Logic for programming, artificial intelligence, and reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015 Proceedings. Davis, M., Fehnker, A., McIver, A. & Voronkov, A. (eds.). Berlin: Springer-Verlag, p. 16-30 15 p. (Lecture Notes in Computer Science; vol. 9450).

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

2014

A finite axiomatization of conditional independence and inclusion dependencies

Hannula, M. & Kontinen, J., 2014, Foundations of Information and Knowledge Systems: 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings. Beierle, C. & Meghini, C. (eds.). Heidelberg: Springer Science+Business Media, p. 211-229 19 p. (Lecture Notes in Computer Science; vol. 8367).

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

File

On Independence Atoms and Keys

Hannula, M., Kontinen, J. & Link, S., 2014, CIKM'14 Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management : Proceedings of the 23rd ACM International Conference, CIKM 2014, Shanghai, China, November 3-7, 2014. New York: ACM, p. 1229-1238 10 p.

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

2013

Hierarchies in independence logic

Galliani, P., Hannula, M. & Kontinen, J., 2013, Computer Science Logic 2013: Proceedings of the 22nd Annual Conference of the EACSL CSL’13, September 2–5, 2013, Torino, Italy. Ronchi Della Rocca, S. (ed.). p. 263-280 18 p. (Leibniz International Proceedings in Informatics; vol. 23).

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