Miika Hannula

Available identifiers

zbMath Open hannula.miikaWikidataQ61106791 ScholiaQ61106791MaRDI QIDQ269504

List of research outcomes

Publication	Date of Publication	Type
Controlling entity integrity with key sets	2023-06-12	Paper
On elementary logics for quantitative dependencies	2022-09-16	Paper
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2022-09-16	Paper
Complexity thresholds in inclusion logic	2022-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q5015279	2021-12-07	Paper
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2021-12-01	Paper
Descriptive complexity of real computation and probabilistic independence logic	2021-01-21	Paper
Polyteam semantics	2020-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q5111196	2020-05-26	Paper
Complexity thresholds in inclusion logic	2020-03-04	Paper
Facets of distribution identities in probabilistic team semantics	2020-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q5376655	2019-05-17	Paper
On the Interaction of Inclusion Dependencies with Independence Atoms	2019-01-10	Paper
Facets of Distribution Identities in Probabilistic Team Semantics	2018-12-14	Paper
Hierarchies in Inclusion Logic with Lax Semantics	2018-10-24	Paper
Automated reasoning about key sets	2018-10-18	Paper
Approximation and dependence via multiteam semantics	2018-09-21	Paper
Probabilistic team semantics	2018-06-26	Paper
Polyteam semantics	2018-04-06	Paper
Complexity of Propositional Logics in Team Semantic	2018-03-22	Paper
Hierarchies in independence logic	2017-02-02	Paper
Validity and Entailment in Modal and Propositional Dependence Logics	2016-08-12	Paper
A finite axiomatization of conditional independence and inclusion dependencies	2016-07-07	Paper
Approximation and Dependence via Multiteam Semantics	2016-05-19	Paper
On the finite and general implication problems of independence atoms and keys	2016-04-18	Paper
Reasoning About Embedded Dependencies Using Inclusion Dependencies	2016-01-12	Paper
Complexity of Propositional Independence and Inclusion Logic	2015-09-16	Paper
Hierarchies in independence and inclusion logic with strict semantics	2015-07-15	Paper
Hierarchies in Inclusion Logic with Lax Semantics	2015-01-09	Paper
Axiomatizing first-order consequences in independence logic	2014-10-27	Paper
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies	2014-03-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Miika Hannula