( en | de | ru )

 

Disambiguation of "Hannula, Miika"

Author of the publication

copydeleteadd this publication to your clipboard
Hierarchies in independence logic.

, , and . CSL, volume 23 of LIPIcs, page 263-280. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Miika Aittala

Miika Blinn

Miika Blinn

 

Other publications of authors with the same name

Polyteam Semantics., , and . LFCS, volume 10703 of Lecture Notes in Computer Science, page 190-210. Springer, (2018)Conditional independence on semiring relations.. CoRR, (2023)Facets of Distribution Identities in Probabilistic Team Semantics., , , , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 304-320. Springer, (2019)Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions., , , and . AAAI, page 12278-12285. AAAI Press, (2024)Reasoning About Embedded Dependencies Using Inclusion Dependencies.. LPAR, volume 9450 of Lecture Notes in Computer Science, page 16-30. Springer, (2015)On the Interaction of Functional and Inclusion Dependencies with Independence Atoms., and . DASFAA (2), volume 10828 of Lecture Notes in Computer Science, page 353-369. Springer, (2018)Unified Foundations of Team Semantics via Semirings., , , , and . KR, page 75-85. (2023)Probabilistic Team Semantics., , , , and . FoIKS, volume 10833 of Lecture Notes in Computer Science, page 186-206. Springer, (2018)A Finite Axiomatization of Conditional Independence and Inclusion Dependencies., and . FoIKS, volume 8367 of Lecture Notes in Computer Science, page 211-229. Springer, (2014)Axiomatizing first-order consequences in independence logic.. Ann. Pure Appl. Log., 166 (1): 61-91 (2015)