Miika Hannula

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 51

Top Topics

Inclusion Dependencies

Propositional Logic

Query Answering

Top Venues

Ann. Pure Appl. Log.

Publications

Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. AAAI (2024)
Miika Hannula
Information Inequality Problem over Set Functions. ICDT (2024)
Miika Hannula
Conditional Independence on Semiring Relations. ICDT (2024)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA (2023)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. KR (2023)
Miika Hannula
Conditional independence on semiring relations. CoRR (2023)
Miika Hannula
Information inequality problem over set functions. CoRR (2023)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with probabilistic team semantics and the Boolean negation. CoRR (2023)
Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link
Discovery of Cross Joins. IEEE Trans. Knowl. Data Eng. 35 (7) (2023)
Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. CoRR (2023)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. CoRR (2023)
Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link
Discovery of Cross Joins (Extended Abstract). ICDE (2023)
Miika Hannula, Xinyi Li, Sebastian Link
Controlling entity integrity with key sets. J. Comput. Syst. Sci. 136 (2023)
Miika Hannula, Lauri Hella
Complexity thresholds in inclusion logic. Inf. Comput. 287 (2022)
Miika Hannula, Jef Wijsen
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. CoRR (2022)
Miika Hannula, Minna Hirvonen, Juha Kontinen
On elementary logics for quantitative dependencies. Ann. Pure Appl. Log. 173 (10) (2022)
Miika Hannula, Jonni Virtema
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. Ann. Pure Appl. Log. 173 (10) (2022)
Miika Hannula, Jef Wijsen
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. PODS (2022)
Miika Hannula, Juha Kontinen, Sebastian Link
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. CoRR (2021)
Miika Hannula, Bor-Kuan Song, Sebastian Link
An Algorithm for the Discovery of Independence from Data. CoRR (2021)
Miika Hannula, Jonni Virtema
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. JELIA (2021)
Miika Hannula, Minna Hirvonen, Juha Kontinen
On elementary logics for quantitative dependencies. CoRR (2021)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CSL (2021)
Miika Hannula, Xinyi Li, Sebastian Link
Controlling Entity Integrity with Key Sets. CoRR (2021)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CoRR (2020)
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic. LICS (2020)
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic. CoRR (2020)
Miika Hannula, Jonni Virtema
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. CoRR (2020)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam semantics. J. Log. Comput. 30 (8) (2020)
Miika Hannula, Lauri Hella
Complexity Thresholds in Inclusion Logic. WoLLIC (2019)
Miika Hannula, Lauri Hella
Complexity Thresholds in Inclusion Logic. CoRR (2019)
Miika Hannula
Validity and Entailment in Modal and Propositional Dependence Logics. Log. Methods Comput. Sci. 15 (2) (2019)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
Facets of Distribution Identities in Probabilistic Team Semantics. JELIA (2019)
Tania Roblot, Miika Hannula, Sebastian Link
Probabilistic Cardinality Constraints - Validation, Reasoning, and Semantic Summaries. VLDB J. 27 (6) (2018)
Miika Hannula, Sebastian Link
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. DASFAA (2) (2018)
Miika Hannula, Sebastian Link
Automated Reasoning About Key Sets. IJCAR (2018)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam Semantics. LFCS (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Probabilistic team semantics. CoRR (2018)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
Facets of Distribution Identities in Probabilistic Team Semantics. CoRR (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Probabilistic Team Semantics. FoIKS (2018)
Miika Hannula
Hierarchies in Inclusion Logic with Lax Semantics. ACM Trans. Comput. Log. 19 (3) (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Logics in Team Semantic. ACM Trans. Comput. Log. 19 (1) (2018)
Miika Hannula
Validity and Entailment in Modal and Propositional Dependence Logics. CSL (2017)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam Semantics. CoRR (2017)
Miika Hannula, Juha Kontinen, Sebastian Link
On the Interaction of Inclusion Dependencies with Independence Atoms. LPAR (2017)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and Dependence via Multiteam Semantics. FoIKS (2016)
Miika Hannula, Juha Kontinen, Sebastian Link
On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci. 82 (5) (2016)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On Quantified Propositional Logics and the Exponential Time Hierarchy. GandALF (2016)
Miika Hannula, Juha Kontinen
A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput. 249 (2016)
Miika Hannula
The Entailment Problem in Modal and Propositional Dependence Logics. CoRR (2016)
Miika Hannula, Juha Kontinen
Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput. 25 (3) (2015)
Miika Hannula
Reasoning About Embedded Dependencies Using Inclusion Dependencies. LPAR (2015)
Miika Hannula
Hierarchies in Inclusion Logic with Lax Semantics. ICLA (2015)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and Dependence via Multiteam Semantics. CoRR (2015)
Miika Hannula
Reasoning about embedded dependencies using inclusion dependencies. CoRR (2015)
Miika Hannula
Axiomatizing first-order consequences in independence logic. Ann. Pure Appl. Log. 166 (1) (2015)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Independence and Inclusion Logic. CoRR (2015)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Independence and Inclusion Logic. MFCS (1) (2015)
Miika Hannula, Juha Kontinen, Sebastian Link
On Independence Atoms and Keys. CIKM (2014)
Miika Hannula
Hierarchies in inclusion logic with lax semantics. CoRR (2014)
Miika Hannula, Juha Kontinen
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. FoIKS (2014)
Miika Hannula, Juha Kontinen, Sebastian Link
On Independence Atoms and Keys. CoRR (2014)
Miika Hannula, Juha Kontinen
Hierarchies in independence and inclusion logic with strict semantics. CoRR (2014)
Pietro Galliani, Miika Hannula, Juha Kontinen
Hierarchies in independence logic. CSL (2013)
Miika Hannula, Juha Kontinen
A finite axiomatization of conditional independence and inclusion dependencies. CoRR (2013)
Pietro Galliani, Miika Hannula, Juha Kontinen
Hierarchies in independence logic CoRR (2013)
Miika Hannula
Axiomatizing first-order consequences in independence logic CoRR (2013)