Miika Hannula
Miika Hannula
Verified email at - Homepage
Cited by
Cited by
Approximation and dependence via multiteam semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Annals of Mathematics and Artificial Intelligence 83, 297-320, 2018
Probabilistic team semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Foundations of Information and Knowledge Systems: 10th International …, 2018
A finite axiomatization of conditional independence and inclusion dependencies
M Hannula, J Kontinen
Information and Computation 249, 121-137, 2016
Hierarchies in independence logic
P Galliani, M Hannula, J Kontinen
arXiv preprint arXiv:1304.4391, 2013
Complexity of propositional logics in team semantic
M Hannula, J Kontinen, J Virtema, H Vollmer
ACM Transactions on Computational Logic (TOCL) 19 (1), 1-14, 2018
Facets of distribution identities in probabilistic team semantics
M Hannula, Ċ Hirvonen, J Kontinen, V Kulikov, J Virtema
European Conference on Logics in Artificial Intelligence, 304-320, 2019
Probabilistic Cardinality Constraints: Validation, Reasoning, and Semantic Summaries
T Roblot, M Hannula, S Link
The VLDB Journal 27 (6), 771-795, 2018
On quantified propositional logics and the exponential time hierarchy
M Hannula, J Kontinen, M Lück, J Virtema
arXiv preprint arXiv:1609.04097, 2016
Complexity of propositional independence and inclusion logic
M Hannula, J Kontinen, J Virtema, H Vollmer
International Symposium on Mathematical Foundations of Computer Science, 269-280, 2015
Axiomatizing first-order consequences in independence logic
M Hannula
Annals of Pure and Applied Logic 166 (1), 61-91, 2015
Descriptive complexity of real computation and probabilistic independence logic
M Hannula, J Kontinen, J Van den Bussche, J Virtema
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
Hierarchies in inclusion logic with lax semantics
M Hannula
Indian Conference on Logic and Its Applications, 100-118, 2015
On the finite and general implication problems of independence atoms and keys
M Hannula, J Kontinen, S Link
Journal of Computer and System Sciences 82 (5), 856-877, 2016
Hierarchies in independence and inclusion logic with strict semantics
M Hannula, J Kontinen
Journal of Logic and Computation 25 (3), 879-897, 2015
Polyteam semantics
M Hannula, J Kontinen, J Virtema
Journal of Logic and Computation 30 (8), 1541-1566, 2020
On the interaction of functional and inclusion dependencies with independence atoms
M Hannula, S Link
Database Systems for Advanced Applications: 23rd International Conference …, 2018
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
M Hannula, J Virtema
Annals of Pure and Applied Logic 173 (10), 103108, 2022
Automated reasoning about key sets
M Hannula, S Link
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
Complexity thresholds in inclusion logic
M Hannula, L Hella
Information and Computation 287, 104759, 2022
Validity and entailment in modal and propositional dependence logics
M Hannula
Logical Methods in Computer Science 15, 2019
The system can't perform the operation now. Try again later.
Articles 1–20