Valokuva Miika Hannula

Miika Hannula

 https://orcid.org/0000-0002-9637-6664

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20132025

Tutkimustuotoksia vuodessa

Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2024

    Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions

    Hankala, T., Hannula, M., Kontinen, J. & Virtema, J., 2024, Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (toim.). AAAI Press, Vuosikerta 38(11). s. 12278-12285 8 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto

  • Conditional Independence on Semiring Relations

    Hannula, M., maalisk. 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (toim.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 20:1–20:20 20 Sivumäärä 20. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 290).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto

  • Information Inequality Problem over Set Functions

    Hannula, M., 2024, 27th International Conference On Database Theory (ICDT 2024). Cormode, G. & Shekelyan, M. (toim.). Schloss Dagstuhl Leibniz Center for Informatics, 20 Sivumäärä 19. (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 290).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
  • 2023

    Discovery of Cross Joins (Extended Abstract)

    Hannula, M., Zhang, Z., Song, B.-K. & Link, S., 2023, 39th IEEE International Conference on Data Engineering, ICDE 2023, Anaheim, CA, USA, April 3-7, 2023. IEEE, s. 3853-3854 2 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Logics with Probabilistic Team Semantics and the Boolean Negation

    Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (toim.). Cham: Springer, s. 665-680 16 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14281).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto

  • Unified Foundations of Team Semantics via Semirings

    Barlag, T., Hannula, M., Kontinen, J., Pardal, N. & Virtema, J., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (toim.). International Joint Conference on Artificial Intelligence, Inc, s. 75-85 11 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
  • 2022

    A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys

    Hannula, M. & Wijsen, J., kesäk. 2022, PODS '22: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, s. 437-449 13 Sivumäärä (Proceedings of the 41st Acm Sigmod-sigact-sigai Symposium on Principles of Database Systems (pods '22)).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
  • 2021

    On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic

    Hannula, M., Kontinen, J., Lück, M. & Virtema, J., 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (toim.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vuosikerta 183. s. 27:1-27:22 22 Sivumäärä (Leibniz International Proceedings in Informatics (LIPIcs)).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto

  • Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals

    Hannula, M. & Virtema, J. T., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (toim.). Vuosikerta 12678. s. 262-278 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 12678).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
  • 2020

    Descriptive complexity of real computation and probabilistic independence logic

    Hannula, M., Kontinen, J., Bussche, J. V. D. & Virtema, J., heinäk. 2020, Proceedigs of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, s. 550–563 14 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
  • 2019

    Complexity Thresholds in Inclusion Logic

    Hannula, M. & Hella, L., 2019, Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (toim.). Vuosikerta 11541. s. 301-322 22 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11541).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
  • 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. (toim.). Springer, s. 47-63 (Lecture Notes in Computer Science; Vuosikerta 10900).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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. (toim.). Springer, s. 353-369 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10828).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • Polyteam Semantics

    Hannula, M., Kontinen, J. & Virtema, J., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (toim.). Springer, Vuosikerta 2018. s. 190–210 21 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10703).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto

  • Probabilistic Team Semantics

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Tiedosto
  • 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. (toim.). EasyChair Publications, s. 212--226 15 Sivumäärä (EPiC Series in Computing; Vuosikerta 46).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto

  • Validity and Entailment in Modal and Propositional Dependence Logics

    Hannula, M., 2017, Computer Science Logic 2017. Goranko, V. & Dam, M. (toim.). Vuosikerta 82. s. 28:1-17 17 Sivumäärä (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 82).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Open access
    Tiedosto
  • 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. (toim.). Springer, Vuosikerta 9616. s. 271-291 21 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 9616).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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. (toim.). s. 198-212 14 Sivumäärä (Electronic Proceedings in Theoretical Computer Science; Vuosikerta 226).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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. (toim.). Heidelberg: Springer, s. 269-280 12 Sivumäärä (Lectures Notes in Computer Science; Vuosikerta 9324).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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. (toim.). Berlin: Springer-Verlag, s. 16-30 15 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 9450).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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. (toim.). Heidelberg: Springer Science+Business Media, s. 211-229 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 8367).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

    Tiedosto

  • 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, s. 1229-1238 10 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  • 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. (toim.). s. 263-280 18 Sivumäärä (Leibniz International Proceedings in Informatics; Vuosikerta 23).

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu