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