Miika Hannula

According to our database, Miika Hannula authored at least 37 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Conditional Independence on Semiring Relations.

Miika Hannula

Proceedings of the 27th International Conference on Database Theory, 2024

Information Inequality Problem over Set Functions.

Miika Hannula

Proceedings of the 27th International Conference on Database Theory, 2024

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

Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Discovery of Cross Joins.

Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link

IEEE Trans. Knowl. Data Eng., July, 2023

Controlling entity integrity with key sets.

Miika Hannula, Xinyi Li, Sebastian Link

J. Comput. Syst. Sci., 2023

Unified Foundations of Team Semantics via Semirings.

Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Logics with Probabilistic Team Semantics and the Boolean Negation.

Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Discovery of Cross Joins (Extended Abstract).

Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

2022

Complexity thresholds in inclusion logic.

Miika Hannula, Lauri Hella

Inf. Comput., 2022

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.

Miika Hannula, Jonni Virtema

Ann. Pure Appl. Log., 2022

On elementary logics for quantitative dependencies.

Miika Hannula, Minna Hirvonen, Juha Kontinen

Ann. Pure Appl. Log., 2022

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

Miika Hannula, Jef Wijsen

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

An Algorithm for the Discovery of Independence from Data.

Miika Hannula, Bor-Kuan Song, Sebastian Link

CoRR, 2021

On the Interaction of Functional and Inclusion Dependencies with Independence Atoms.

Miika Hannula, Juha Kontinen, Sebastian Link

CoRR, 2021

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

Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

Polyteam semantics.

Miika Hannula, Juha Kontinen, Jonni Virtema

J. Log. Comput., 2020

Descriptive complexity of real computation and probabilistic independence logic.

Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Validity and Entailment in Modal and Propositional Dependence Logics.

Miika Hannula

Log. Methods Comput. Sci., 2019

Facets of Distribution Identities in Probabilistic Team Semantics.

Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Probabilistic Cardinality Constraints - Validation, Reasoning, and Semantic Summaries.

Tania Roblot, Miika Hannula, Sebastian Link

VLDB J., 2018

Complexity of Propositional Logics in Team Semantic.

Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer

ACM Trans. Comput. Log., 2018

Hierarchies in Inclusion Logic with Lax Semantics.

Miika Hannula

ACM Trans. Comput. Log., 2018

Approximation and dependence via multiteam semantics.

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Ann. Math. Artif. Intell., 2018

Probabilistic Team Semantics.

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Proceedings of the Foundations of Information and Knowledge Systems, 2018

On the Interaction of Functional and Inclusion Dependencies with Independence Atoms.

Miika Hannula, Sebastian Link

Proceedings of the Database Systems for Advanced Applications, 2018

Automated Reasoning About Key Sets.

Miika Hannula, Sebastian Link

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

On the Interaction of Inclusion Dependencies with Independence Atoms.

Miika Hannula, Juha Kontinen, Sebastian Link

Proceedings of the LPAR-21, 2017

2016

On the finite and general implication problems of independence atoms and keys.

Miika Hannula, Juha Kontinen, Sebastian Link

J. Comput. Syst. Sci., 2016

A finite axiomatization of conditional independence and inclusion dependencies.

Miika Hannula, Juha Kontinen

Inf. Comput., 2016

On Quantified Propositional Logics and the Exponential Time Hierarchy.

Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema

Proceedings of the Seventh International Symposium on Games, 2016

The Entailment Problem in Modal and Propositional Dependence Logics.

Miika Hannula

CoRR, 2016

2015

Hierarchies in independence and inclusion logic with strict semantics.

Miika Hannula, Juha Kontinen

J. Log. Comput., 2015

Axiomatizing first-order consequences in independence logic.

Miika Hannula

Ann. Pure Appl. Log., 2015

Complexity of Propositional Independence and Inclusion Logic.

Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Reasoning About Embedded Dependencies Using Inclusion Dependencies.

Miika Hannula

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

On Independence Atoms and Keys.

Miika Hannula, Juha Kontinen, Sebastian Link

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

2013

Hierarchies in independence logic.

Pietro Galliani, Miika Hannula, Juha Kontinen

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013