Miika Hannula

发表

Complexity Thresholds in Inclusion Logic

Lauri Hella, Miika Hannula, 2019, WoLLIC.

Validity and Entailment in Modal and Propositional Dependence Logics

Miika Hannula, 2017, CSL.

On the Interaction of Inclusion Dependencies with Independence Atoms

Sebastian Link, Miika Hannula, Juha Kontinen, 2017, LPAR.

Hierarchies in independence logic

Pietro Galliani, Miika Hannula, Juha Kontinen, 2013, CSL.

An Algorithm for the Discovery of Independence from Data pdf

Miika Hannula, Bor-Kuan Song, Sebastian Link, 2021, ArXiv.

Hierarchies in independence and inclusion logic with strict semantics

Miika Hannula, Juha Kontinen, 2015, J. Log. Comput..

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

Sebastian Link, Miika Hannula, 2018, DASFAA.

Hierarchies in Inclusion Logic with Lax Semantics

Miika Hannula, 2015, ICLA.

Hierarchies in Inclusion Logic with Lax Semantics

Miika Hannula, 2018, ACM Trans. Comput. Log..

Descriptive complexity of real computation and probabilistic independence logic

Jonni Virtema, Jan Van den Bussche, Miika Hannula, 2020, LICS.

A Finite Axiomatization of Conditional Independence and Inclusion Dependencies pdf

Miika Hannula, Juha Kontinen, 2014, FoIKS.

Axiomatizing first-order consequences in independence logic

Miika Hannula, Miika Hannula, 2013, Ann. Pure Appl. Log..

Facets of Distribution Identities in Probabilistic Team Semantics

Jonni Virtema, Miika Hannula, Juha Kontinen, 2019, JELIA.

Complexity of Propositional Logics in Team Semantic

Jonni Virtema, Heribert Vollmer, Miika Hannula, 2018, TOCL.

Complexity of Propositional Independence and Inclusion Logic pdf

Jonni Virtema, Heribert Vollmer, Miika Hannula, 2015, MFCS.

On Independence Atoms and Keys

Sebastian Link, Miika Hannula, Juha Kontinen, 2014, CIKM.

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

Sebastian Link, Miika Hannula, Juha Kontinen, 2016, J. Comput. Syst. Sci..

On Quantified Propositional Logics and the Exponential Time Hierarchy

Jonni Virtema, Miika Hannula, Juha Kontinen, 2016, GandALF.

On Quantified Propositional Logics and the Exponential Time Hierarchy.

Jonni Virtema, Miika Hannula, Martin Lück, 2016 .

Polyteam Semantics pdf

Jonni Virtema, Miika Hannula, Juha Kontinen, 2018, LFCS.

Polyteam semantics

Jonni Virtema, Miika Hannula, Juha Kontinen, 2020, J. Log. Comput..

Automated Reasoning About Key Sets

Sebastian Link, Miika Hannula, S. Link, 2018, IJCAR.

Reasoning About Embedded Dependencies Using Inclusion Dependencies

Miika Hannula, 2015, LPAR.

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

Jonni Virtema, Miika Hannula, Martin Lück, 2021, CSL.

Approximation and dependence via multiteam semantics

Arne Meier, Jonni Virtema, Miika Hannula, 2015, Annals of Mathematics and Artificial Intelligence.

A finite axiomatization of conditional independence and inclusion dependencies

Miika Hannula, Juha Kontinen, 2016, Inf. Comput..

Approximation and Dependence via Multiteam Semantics

Arne Meier, Jonni Virtema, Miika Hannula, 2016, FoIKS.

The Entailment Problem in Modal and Propositional Dependence Logics pdf

Miika Hannula, 2019, Log. Methods Comput. Sci..

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

Jonni Virtema, Miika Hannula, 2020, ArXiv.

Probabilistic Cardinality Constraints

Sebastian Link, Miika Hannula, Tania K. Roblot, 2015, The VLDB Journal.

Probabilistic team semantics

Arne Meier, Jonni Virtema, Miika Hannula, 2018, FoIKS.

Controlling Entity Integrity with Key Sets pdf

Miika Hannula, Sebastian Link, Xinyi Li, 2021, ArXiv.

On elementary logics for quantitative dependencies pdf

Miika Hannula, Juha Kontinen, Minna Hirvonen, 2021, ArXiv.

Complexity thresholds in inclusion logic

Lauri Hella, Miika Hannula, 2021 .

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

Jonni Virtema, Miika Hannula, J. Virtema, 2020, JELIA.

Complexity of Propositional Logics in Team Semantics

Jonni Virtema, Heribert Vollmer, Miika Hannula, 2015 .

On Variants of Dependence Logic : Axiomatizability and Expressiveness

Miika Hannula, 2015 .

Descriptive complexity of real computation and probabilistic independence logic

Jonni Virtema, Jan Van den Bussche, Miika Hannula, 2020, LICS.