Forskningsresultat per år
Forskningsresultat per år
- 25 resultat
Sökresultat
-
2024
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
Hankala, T., Hannula, M., Kontinen, J. & Virtema, J., 2024, Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (red.). AAAI Press, Vol. 38(11). s. 12278-12285 8 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Conditional Independence on Semiring Relations
Hannula, M., mars 2024, 27th International Conference on Database Theory, ICDT 2024. Cormode, G. & Shekelyan, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 20:1–20:20 20 s. 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 290).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Information Inequality Problem over Set Functions
Hannula, M., 2024, 27th International Conference On Database Theory (ICDT 2024). Cormode, G. & Shekelyan, M. (red.). Schloss Dagstuhl Leibniz Center for Informatics, 20 s. 19. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 290).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2023
Discovery of Cross Joins (Extended Abstract)
Hannula, M., Zhang, Z., Song, B.-K. & Link, S., 2023, 39th IEEE International Conference on Data Engineering, ICDE 2023, Anaheim, CA, USA, April 3-7, 2023. IEEE, s. 3853-3854 2 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Logics with Probabilistic Team Semantics and the Boolean Negation
Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (red.). Cham: Springer, s. 665-680 16 s. (Lecture Notes in Computer Science; vol. 14281).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Unified Foundations of Team Semantics via Semirings
Barlag, T., Hannula, M., Kontinen, J., Pardal, N. & Virtema, J., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (red.). International Joint Conference on Artificial Intelligence, Inc, s. 75-85 11 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2022
A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys
Hannula, M. & Wijsen, J., juni 2022, PODS '22: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM, s. 437-449 13 s. (Proceedings of the 41st Acm Sigmod-sigact-sigai Symposium on Principles of Database Systems (pods '22)).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2021
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
Hannula, M., Kontinen, J., Lück, M. & Virtema, J., 2021, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). Baier, C. & Goubault-Larrecq, J. (red.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 183. s. 27:1-27:22 22 s. (Leibniz International Proceedings in Informatics (LIPIcs)).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals
Hannula, M. & Virtema, J. T., 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (red.). Vol. 12678. s. 262-278 17 s. (Lecture Notes in Computer Science; vol. 12678).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2020
Descriptive complexity of real computation and probabilistic independence logic
Hannula, M., Kontinen, J., Bussche, J. V. D. & Virtema, J., juli 2020, Proceedigs of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, s. 550–563 14 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2019
Complexity Thresholds in Inclusion Logic
Hannula, M. & Hella, L., 2019, Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (red.). Vol. 11541. s. 301-322 22 s. (Lecture Notes in Computer Science; vol. 11541).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Facets of Distribution Identities in Probabilistic Team Semantics
Hannula, M., Hirvonen, Å., Kontinen, J., Kulikov, V. & Virtema, J., 2019, Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (red.). Springer, Vol. 11468. s. 304-320 17 s. (Lecture Notes in Computer Science; vol. 11468).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2018
Automated Reasoning About Key Sets
Hannula, M. & Link, S., 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018. Galmiche, D., Schulz, S. & Sebastiani, R. (red.). Springer, s. 47-63 (Lecture Notes in Computer Science; vol. 10900).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
On the Interaction of Functional and Inclusion Dependencies with Independence Atoms
Hannula, M. & Link, S., 2018, Database Systems for Advanced Applications. DASFAA 2018.: 23rd International Conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings, Part II. Pei, J., Manolopoulos, Y., Sadiq, S. & Li, J. (red.). Springer, s. 353-369 17 s. (Lecture Notes in Computer Science; vol. 10828).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Polyteam Semantics
Hannula, M., Kontinen, J. & Virtema, J., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (red.). Springer, Vol. 2018. s. 190–210 21 s. (Lecture Notes in Computer Science; vol. 10703).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Probabilistic Team Semantics
Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2018, Foundations of Information and Knowledge Systems. Ferrarotti, F. & Woltran, S. (red.). Cham: Springer International Publishing, s. 186-206 21 s. (Lecture Notes in Computer Science).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Fil -
2017
On the Interaction of Inclusion Dependencies with Independence Atoms
Hannula, M., Kontinen, J. A. & Link, S., 2017, Logic for Programming, Artificial Intelligence, and Reasoning - 21th International Conference, LPAR-21 2017. Eiter, T. & Sands, D. (red.). EasyChair Publications, s. 212--226 15 s. (EPiC Series in Computing; vol. 46).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Validity and Entailment in Modal and Propositional Dependence Logics
Hannula, M., 2017, Computer Science Logic 2017. Goranko, V. & Dam, M. (red.). Vol. 82. s. 28:1-17 17 s. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
2016
Approximation and Dependence via Multiteam Semantics
Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2016, Proceedings of 9th International Symposium on Foundations of Information and Knowledge Systems . Gyssens, M. & Simari, G. (red.). Springer, Vol. 9616. s. 271-291 21 s. (Lecture Notes in Computer Science; vol. 9616).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
On quantified propositional logics and the exponential time hierarchy
Hannula, M., Kontinen, J., Lück, M. & Virtema, J., 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification : EPTCS. Cantone, D. & Delzanno, G. (red.). s. 198-212 14 s. (Electronic Proceedings in Theoretical Computer Science; vol. 226).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
2015
Complexity of Propositional Independence and Inclusion Logic
Hannula, M., Kontinen, J., Virtema, J. & Vollmer, H., 2015, Mathematical foundations of computer science 2015: 40th International Symposium, MFCS 2015 Milan, Italy, August 24–28, 2015 Proceedings, Part I. Italiano, G. F., Pighizzini, G. & Sannella, D. T. (red.). Heidelberg: Springer, s. 269-280 12 s. (Lectures Notes in Computer Science; vol. 9324).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Reasoning About Embedded Dependencies Using Inclusion Dependencies
Hannula, M., 2015, Logic for programming, artificial intelligence, and reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015 Proceedings. Davis, M., Fehnker, A., McIver, A. & Voronkov, A. (red.). Berlin: Springer-Verlag, s. 16-30 15 s. (Lecture Notes in Computer Science; vol. 9450).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
2014
A finite axiomatization of conditional independence and inclusion dependencies
Hannula, M. & Kontinen, J., 2014, Foundations of Information and Knowledge Systems: 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings. Beierle, C. & Meghini, C. (red.). Heidelberg: Springer Science+Business Media, s. 211-229 19 s. (Lecture Notes in Computer Science; vol. 8367).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Fil -
On Independence Atoms and Keys
Hannula, M., Kontinen, J. & Link, S., 2014, CIKM'14 Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management : Proceedings of the 23rd ACM International Conference, CIKM 2014, Shanghai, China, November 3-7, 2014. New York: ACM, s. 1229-1238 10 s.Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
2013
Hierarchies in independence logic
Galliani, P., Hannula, M. & Kontinen, J., 2013, Computer Science Logic 2013: Proceedings of the 22nd Annual Conference of the EACSL CSL’13, September 2–5, 2013, Torino, Italy. Ronchi Della Rocca, S. (red.). s. 263-280 18 s. (Leibniz International Proceedings in Informatics; vol. 23).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review