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 | 47 | 2018 |
A finite axiomatization of conditional independence and inclusion dependencies M Hannula, J Kontinen Information and Computation 249, 121-137, 2016 | 43 | 2016 |
Probabilistic team semantics A Durand, M Hannula, J Kontinen, A Meier, J Virtema Foundations of Information and Knowledge Systems: 10th International …, 2018 | 42 | 2018 |
Hierarchies in independence logic P Galliani, M Hannula, J Kontinen arXiv preprint arXiv:1304.4391, 2013 | 39 | 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 | 37 | 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 | 29 | 2019 |
Probabilistic Cardinality Constraints: Validation, Reasoning, and Semantic Summaries T Roblot, M Hannula, S Link The VLDB Journal 27 (6), 771-795, 2018 | 25 | 2018 |
Axiomatizing first-order consequences in independence logic M Hannula Annals of Pure and Applied Logic 166 (1), 61-91, 2015 | 25 | 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 | 24 | 2020 |
On quantified propositional logics and the exponential time hierarchy M Hannula, J Kontinen, M Lück, J Virtema arXiv preprint arXiv:1609.04097, 2016 | 23 | 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 | 23 | 2015 |
Hierarchies in inclusion logic with lax semantics M Hannula Indian Conference on Logic and Its Applications, 100-118, 2015 | 18 | 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 | 17 | 2016 |
Polyteam semantics M Hannula, J Kontinen, J Virtema Journal of Logic and Computation 30 (8), 1541-1566, 2020 | 16 | 2020 |
Hierarchies in independence and inclusion logic with strict semantics M Hannula, J Kontinen Journal of Logic and Computation 25 (3), 879-897, 2015 | 14 | 2015 |
On the interaction of functional and inclusion dependencies with independence atoms M Hannula, S Link Database Systems for Advanced Applications: 23rd International Conference …, 2018 | 12 | 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 | 10 | 2022 |
Validity and entailment in modal and propositional dependence logics M Hannula Logical Methods in Computer Science 15, 2019 | 10 | 2019 |
Automated reasoning about key sets M Hannula, S Link Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 10 | 2018 |
Complexity thresholds in inclusion logic M Hannula, L Hella Information and Computation 287, 104759, 2022 | 9 | 2022 |