Miika Hannula

From MaRDI portal
Person:269504

Available identifiers

zbMath Open hannula.miikaDBLP129/1659WikidataQ61106791 ScholiaQ61106791MaRDI QIDQ269504

List of research outcomes





PublicationDate of PublicationType
Logics with probabilistic team semantics and the Boolean negation2024-05-29Paper
Controlling entity integrity with key sets2023-06-12Paper
On elementary logics for quantitative dependencies2022-09-16Paper
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals2022-09-16Paper
Complexity thresholds in inclusion logic2022-06-13Paper
https://portal.mardi4nfdi.de/entity/Q50152792021-12-07Paper
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals2021-12-01Paper
Descriptive complexity of real computation and probabilistic independence logic2021-01-21Paper
Polyteam semantics2020-12-15Paper
Validity and entailment in modal and propositional dependence logics2020-05-26Paper
Complexity thresholds in inclusion logic2020-03-04Paper
Facets of distribution identities in probabilistic team semantics2020-02-18Paper
https://portal.mardi4nfdi.de/entity/Q53766552019-05-17Paper
On the Interaction of Inclusion Dependencies with Independence Atoms2019-01-10Paper
Facets of Distribution Identities in Probabilistic Team Semantics2018-12-14Paper
Hierarchies in Inclusion Logic with Lax Semantics2018-10-24Paper
Automated reasoning about key sets2018-10-18Paper
Approximation and dependence via multiteam semantics2018-09-21Paper
Probabilistic team semantics2018-06-26Paper
Polyteam semantics2018-04-06Paper
Complexity of Propositional Logics in Team Semantic2018-03-22Paper
Hierarchies in independence logic2017-02-02Paper
Validity and Entailment in Modal and Propositional Dependence Logics2016-08-12Paper
A finite axiomatization of conditional independence and inclusion dependencies2016-07-07Paper
Approximation and Dependence via Multiteam Semantics2016-05-19Paper
On the finite and general implication problems of independence atoms and keys2016-04-18Paper
Reasoning About Embedded Dependencies Using Inclusion Dependencies2016-01-12Paper
Complexity of Propositional Independence and Inclusion Logic2015-09-16Paper
Hierarchies in independence and inclusion logic with strict semantics2015-07-15Paper
Hierarchies in Inclusion Logic with Lax Semantics2015-01-09Paper
Axiomatizing first-order consequences in independence logic2014-10-27Paper
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies2014-03-31Paper

Research outcomes over time

This page was built for person: Miika Hannula