Miika Hannula
Miika Hannula
Verified email at helsinki.fi - Homepage
Cited by
Cited by
Hierarchies in independence logic
P Galliani, M Hannula, J Kontinen
arXiv preprint arXiv:1304.4391, 2013
A finite axiomatization of conditional independence and inclusion dependencies
M Hannula, J Kontinen
Information and Computation 249, 121-137, 2016
Approximation and dependence via multiteam semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
FoIKS, 271-291, 2016
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
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
Probabilistic team semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
International Symposium on Foundations of Information and Knowledge Systems …, 2018
Axiomatizing first-order consequences in independence logic
M Hannula
Annals of Pure and Applied Logic 166 (1), 61-91, 2015
Hierarchies in inclusion logic with lax semantics
M Hannula
Indian Conference on Logic and Its Applications, 100-118, 2015
On quantified propositional logics and the exponential time hierarchy
M Hannula, J Kontinen, M Lück, J Virtema
arXiv preprint arXiv:1609.04097, 2016
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
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
Hierarchies in independence and inclusion logic with strict semantics
M Hannula, J Kontinen
Journal of Logic and Computation 25 (3), 879-897, 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
On independence atoms and keys
M Hannula, J Kontinen, S Link
Proceedings of the 23rd ACM International Conference on Conference on …, 2014
Polyteam semantics
M Hannula, J Kontinen, J Virtema
Journal of Logic and Computation 30 (8), 1541-1566, 2020
Probabilistic cardinality constraints
T Roblot, M Hannula, S Link
The VLDB Journal 27 (6), 771-795, 2018
Validity and entailment in modal and propositional dependence logics
M Hannula
arXiv preprint arXiv:1608.04301, 2016
Reasoning about embedded dependencies using inclusion dependencies
M Hannula
Logic for Programming, Artificial Intelligence, and Reasoning, 16-30, 2015
Automated reasoning about key sets
M Hannula, S Link
International Joint Conference on Automated Reasoning, 47-63, 2018
Complexity thresholds in inclusion logic
M Hannula, L Hella
Information and Computation, 104759, 2021
The system can't perform the operation now. Try again later.
Articles 1–20