![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Miika Hannula
Person information
- affiliation: University of Helsinki, Department of Mathematics and Statistics, Finland
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c26]Teemu Hankala, Miika Hannula
, Juha Kontinen
, Jonni Virtema
:
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. AAAI 2024: 12278-12285 - [c25]Miika Hannula:
Information Inequality Problem over Set Functions. ICDT 2024: 19:1-19:20 - [c24]Miika Hannula:
Conditional Independence on Semiring Relations. ICDT 2024: 20:1-20:20 - 2023
- [j15]Miika Hannula
, Xinyi Li, Sebastian Link
:
Controlling entity integrity with key sets. J. Comput. Syst. Sci. 136: 195-219 (2023) - [j14]Miika Hannula
, Zhuoxing Zhang
, Bor-Kuan Song
, Sebastian Link
:
Discovery of Cross Joins. IEEE Trans. Knowl. Data Eng. 35(7): 6839-6851 (2023) - [c23]Miika Hannula
, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link:
Discovery of Cross Joins (Extended Abstract). ICDE 2023: 3853-3854 - [c22]Miika Hannula
, Minna Hirvonen
, Juha Kontinen
, Yasir Mahmood
, Arne Meier
, Jonni Virtema
:
Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA 2023: 665-680 - [c21]Timon Barlag, Miika Hannula
, Juha Kontinen
, Nina Pardal, Jonni Virtema:
Unified Foundations of Team Semantics via Semirings. KR 2023: 75-85 - [i27]Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
:
Unified Foundations of Team Semantics via Semirings. CoRR abs/2303.07926 (2023) - [i26]Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema:
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. CoRR abs/2305.11833 (2023) - [i25]Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema:
Logics with probabilistic team semantics and the Boolean negation. CoRR abs/2306.00420 (2023) - [i24]Miika Hannula:
Information inequality problem over set functions. CoRR abs/2309.11818 (2023) - [i23]Miika Hannula:
Conditional independence on semiring relations. CoRR abs/2310.01910 (2023) - 2022
- [j13]Miika Hannula
, Minna Hirvonen
, Juha Kontinen
:
On elementary logics for quantitative dependencies. Ann. Pure Appl. Log. 173(10): 103104 (2022) - [j12]Miika Hannula
, Jonni Virtema
:
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. Ann. Pure Appl. Log. 173(10): 103108 (2022) - [j11]Miika Hannula
, Lauri Hella:
Complexity thresholds in inclusion logic. Inf. Comput. 287: 104759 (2022) - [c20]Miika Hannula
, Jef Wijsen:
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. PODS 2022: 437-449 - [i22]Miika Hannula, Jef Wijsen:
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. CoRR abs/2203.13475 (2022) - 2021
- [c19]Miika Hannula
, Juha Kontinen
, Martin Lück, Jonni Virtema
:
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CSL 2021: 27:1-27:22 - [c18]Miika Hannula
, Jonni Virtema
:
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. JELIA 2021: 262-278 - [i21]Miika Hannula, Juha Kontinen, Sebastian Link:
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. CoRR abs/2101.02466 (2021) - [i20]Miika Hannula, Xinyi Li, Sebastian Link:
Controlling Entity Integrity with Key Sets. CoRR abs/2101.02472 (2021) - [i19]Miika Hannula, Bor-Kuan Song, Sebastian Link:
An Algorithm for the Discovery of Independence from Data. CoRR abs/2101.02502 (2021) - [i18]Miika Hannula, Minna Hirvonen, Juha Kontinen:
On elementary logics for quantitative dependencies. CoRR abs/2104.04313 (2021) - 2020
- [j10]Miika Hannula
, Juha Kontinen
, Jonni Virtema
:
Polyteam semantics. J. Log. Comput. 30(8): 1541-1566 (2020) - [c17]Miika Hannula
, Juha Kontinen
, Jan Van den Bussche
, Jonni Virtema
:
Descriptive complexity of real computation and probabilistic independence logic. LICS 2020: 550-563 - [i17]Miika Hannula
, Juha Kontinen
, Jan Van den Bussche, Jonni Virtema:
Descriptive complexity of real computation and probabilistic independence logic. CoRR abs/2003.00644 (2020) - [i16]Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema:
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CoRR abs/2007.03867 (2020) - [i15]Miika Hannula, Jonni Virtema:
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. CoRR abs/2012.12830 (2020)
2010 – 2019
- 2019
- [j9]Miika Hannula
:
Validity and Entailment in Modal and Propositional Dependence Logics. Log. Methods Comput. Sci. 15(2) (2019) - [c16]Miika Hannula
, Åsa Hirvonen
, Juha Kontinen
, Vadim Kulikov, Jonni Virtema
:
Facets of Distribution Identities in Probabilistic Team Semantics. JELIA 2019: 304-320 - [c15]Miika Hannula
, Lauri Hella
:
Complexity Thresholds in Inclusion Logic. WoLLIC 2019: 301-322 - [i14]Miika Hannula, Lauri Hella:
Complexity Thresholds in Inclusion Logic. CoRR abs/1903.10706 (2019) - 2018
- [j8]Arnaud Durand, Miika Hannula
, Juha Kontinen
, Arne Meier
, Jonni Virtema
:
Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. 83(3-4): 297-320 (2018) - [j7]Miika Hannula
, Juha Kontinen
, Jonni Virtema
, Heribert Vollmer
:
Complexity of Propositional Logics in Team Semantic. ACM Trans. Comput. Log. 19(1): 2:1-2:14 (2018) - [j6]Miika Hannula
:
Hierarchies in Inclusion Logic with Lax Semantics. ACM Trans. Comput. Log. 19(3): 16:1-16:23 (2018) - [j5]Tania Roblot, Miika Hannula
, Sebastian Link
:
Probabilistic Cardinality Constraints - Validation, Reasoning, and Semantic Summaries. VLDB J. 27(6): 771-795 (2018) - [c14]Miika Hannula
, Sebastian Link
:
Automated Reasoning About Key Sets. IJCAR 2018: 47-63 - [c13]Miika Hannula
, Sebastian Link
:
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. DASFAA (2) 2018: 353-369 - [c12]Arnaud Durand, Miika Hannula
, Juha Kontinen
, Arne Meier
, Jonni Virtema
:
Probabilistic Team Semantics. FoIKS 2018: 186-206 - [c11]Miika Hannula
, Juha Kontinen
, Jonni Virtema
:
Polyteam Semantics. LFCS 2018: 190-210 - [i13]Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema:
Probabilistic team semantics. CoRR abs/1803.02180 (2018) - [i12]Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema:
Facets of Distribution Identities in Probabilistic Team Semantics. CoRR abs/1812.05873 (2018) - 2017
- [c10]Miika Hannula
:
Validity and Entailment in Modal and Propositional Dependence Logics. CSL 2017: 28:1-28:17 - [c9]Miika Hannula, Juha Kontinen, Sebastian Link:
On the Interaction of Inclusion Dependencies with Independence Atoms. LPAR 2017: 212-226 - [i11]Miika Hannula
, Juha Kontinen
, Jonni Virtema:
Polyteam Semantics. CoRR abs/1704.02158 (2017) - 2016
- [j4]Miika Hannula
, Juha Kontinen
:
A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput. 249: 121-137 (2016) - [j3]Miika Hannula
, Juha Kontinen
, Sebastian Link
:
On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci. 82(5): 856-877 (2016) - [c8]Arnaud Durand, Miika Hannula
, Juha Kontinen
, Arne Meier
, Jonni Virtema
:
Approximation and Dependence via Multiteam Semantics. FoIKS 2016: 271-291 - [c7]Miika Hannula
, Juha Kontinen
, Martin Lück, Jonni Virtema
:
On Quantified Propositional Logics and the Exponential Time Hierarchy. GandALF 2016: 198-212 - [i10]Miika Hannula:
The Entailment Problem in Modal and Propositional Dependence Logics. CoRR abs/1608.04301 (2016) - 2015
- [j2]Miika Hannula
:
Axiomatizing first-order consequences in independence logic. Ann. Pure Appl. Log. 166(1): 61-91 (2015) - [j1]Miika Hannula
, Juha Kontinen
:
Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput. 25(3): 879-897 (2015) - [c6]Miika Hannula
:
Hierarchies in Inclusion Logic with Lax Semantics. ICLA 2015: 100-118 - [c5]Miika Hannula
:
Reasoning About Embedded Dependencies Using Inclusion Dependencies. LPAR 2015: 16-30 - [c4]Miika Hannula
, Juha Kontinen
, Jonni Virtema
, Heribert Vollmer
:
Complexity of Propositional Independence and Inclusion Logic. MFCS (1) 2015: 269-280 - [i9]Miika Hannula
, Juha Kontinen
, Jonni Virtema, Heribert Vollmer:
Complexity of Propositional Independence and Inclusion Logic. CoRR abs/1504.06135 (2015) - [i8]Miika Hannula:
Reasoning about embedded dependencies using inclusion dependencies. CoRR abs/1507.00655 (2015) - [i7]Arnaud Durand, Miika Hannula
, Juha Kontinen
, Arne Meier, Jonni Virtema:
Approximation and Dependence via Multiteam Semantics. CoRR abs/1510.09040 (2015) - 2014
- [c3]Miika Hannula
, Juha Kontinen
, Sebastian Link
:
On Independence Atoms and Keys. CIKM 2014: 1229-1238 - [c2]Miika Hannula
, Juha Kontinen
:
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. FoIKS 2014: 211-229 - [i6]Miika Hannula, Juha Kontinen:
Hierarchies in independence and inclusion logic with strict semantics. CoRR abs/1401.3232 (2014) - [i5]Miika Hannula:
Hierarchies in inclusion logic with lax semantics. CoRR abs/1401.3235 (2014) - [i4]Miika Hannula, Juha Kontinen, Sebastian Link:
On Independence Atoms and Keys. CoRR abs/1404.4468 (2014) - 2013
- [c1]Pietro Galliani, Miika Hannula, Juha Kontinen:
Hierarchies in independence logic. CSL 2013: 263-280 - [i3]Miika Hannula:
Axiomatizing first-order consequences in independence logic. CoRR abs/1304.4164 (2013) - [i2]Pietro Galliani, Miika Hannula, Juha Kontinen:
Hierarchies in independence logic. CoRR abs/1304.4391 (2013) - [i1]Miika Hannula
, Juha Kontinen
:
A finite axiomatization of conditional independence and inclusion dependencies. CoRR abs/1309.4927 (2013)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint