关注
Miika Hannula
Miika Hannula
在 helsinki.fi 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
472018
A finite axiomatization of conditional independence and inclusion dependencies
M Hannula, J Kontinen
Information and Computation 249, 121-137, 2016
432016
Probabilistic team semantics
A Durand, M Hannula, J Kontinen, A Meier, J Virtema
Foundations of Information and Knowledge Systems: 10th International …, 2018
422018
Hierarchies in independence logic
P Galliani, M Hannula, J Kontinen
arXiv preprint arXiv:1304.4391, 2013
392013
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
352018
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
282019
Probabilistic Cardinality Constraints: Validation, Reasoning, and Semantic Summaries
T Roblot, M Hannula, S Link
The VLDB Journal 27 (6), 771-795, 2018
252018
Axiomatizing first-order consequences in independence logic
M Hannula
Annals of Pure and Applied Logic 166 (1), 61-91, 2015
242015
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
232020
On quantified propositional logics and the exponential time hierarchy
M Hannula, J Kontinen, M Lück, J Virtema
arXiv preprint arXiv:1609.04097, 2016
232016
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
232015
Hierarchies in inclusion logic with lax semantics
M Hannula
Indian Conference on Logic and Its Applications, 100-118, 2015
182015
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
172016
Polyteam semantics
M Hannula, J Kontinen, J Virtema
Journal of Logic and Computation 30 (8), 1541-1566, 2020
152020
Hierarchies in independence and inclusion logic with strict semantics
M Hannula, J Kontinen
Journal of Logic and Computation 25 (3), 879-897, 2015
142015
On the interaction of functional and inclusion dependencies with independence atoms
M Hannula, S Link
Database Systems for Advanced Applications: 23rd International Conference …, 2018
122018
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
102022
Automated reasoning about key sets
M Hannula, S Link
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
102018
Complexity thresholds in inclusion logic
M Hannula, L Hella
Information and Computation 287, 104759, 2022
82022
Validity and entailment in modal and propositional dependence logics
M Hannula
Logical Methods in Computer Science 15, 2019
82019
系统目前无法执行此操作,请稍后再试。
文章 1–20