No photo of Antti Kuusisto

Antti Kuusisto

20072025

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    Descriptive Complexity for Neural Networks via Boolean Networks

    Ahvonen, V., Heiman, D. & Kuusisto, A., 27 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 288. p. 9:1-9:22 22 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 288).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    7 Downloads (Pure)

  • Interpretable classifiers for tabular data via feature selection and discretization

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 2024, DAO-XAI 2024: Data meets Ontologies in Explainable AI 2024: Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024) . CEUR-WS, 22 p. (CEUR Workshop Proceedings; vol. 3833).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    7 Downloads (Pure)

  • Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

    Ahvonen, V., Heiman, D., Kuusisto, A. & Lutz, C., 10 Dec 2024, (E-pub ahead of print) The Thirty-eighth Annual Conference on Neural Information Processing Systems. NeurIPS, 45 p. (Advances in neural information processing systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    5 Downloads (Pure)
  • 2023

    Complexity Classifications via Algebraic Logic

    Jaakkola, R. & Kuusisto, A., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    15 Downloads (Pure)

  • Descriptive Complexity for Distributed Computing with Circuits

    Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    11 Downloads (Pure)

  • Relating Description Complexity to Entropy

    Jaakkola, R., Kuusisto, A. & Vilander, M., 1 Mar 2023, 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023. Berenbrink, P., Bouyer, P., Dawar, A. & Kante, M. M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 254).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    14 Downloads (Pure)

  • Short Boolean Formulas as Explanations in Practice

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 24 Sept 2023, Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V. & Ortiz, M. (eds.). Springer, Vol. 14281. p. 90-105 16 p. 7. (Lecture Notes in Computer Science; vol. 14281).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    19 Downloads (Pure)
  • 2022

    Explainability via Short Formulas: the Case of Propositional Logic with Implementation

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 5 Sept 2022, Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning HYDRA} 2022 and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion RCRA 2022 co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022, Genova Nervi, Italy, September 5, 2022. CEUR Workshop Proceedings, Vol. 3281. p. 64-77 13 p. ( CEUR workshop proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    4 Citations (Scopus)
    15 Downloads (Pure)
  • 2021

    The optimal way to play the most difficult repeated coordination games

    Kuusisto, A. & Rönnholm, R., 17 Sept 2021, Proceedings of 12th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2021). Ganty, P. & Bresolin, D. (eds.). Open Publishing Association, p. 101-116 16 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 346).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    7 Downloads (Pure)
  • 2020

    Bounded game-theoretic semantics for modal mu-calculus and some variants

    Hella, L., Kuusisto, A. & Rönnholm, R., 2020, Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vol. 326. p. 82–96 15 p. (Electronic proceedings in theoretical computer science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    1 Citation (Scopus)

  • Gradual guaranteed coordination in repeatedwin-lose coordination games

    Goranko, V., Kuusisto, A. & Rönnholm, R., 24 Aug 2020, ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A. & Lang, J. (eds.). IOS Press BV, p. 115-122 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    11 Downloads (Pure)
  • 2013

    Modal Logic and Distributed Message Passing Automata

    Kuusisto, A., 2013, Computer Science Logic 2013 (CSL 2013). p. 452-468 (Annual Conference of the European Association for Computer Science Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    13 Citations (Scopus)
  • 2012

    Undecidable First-Order Theories of Affine Geometries

    Kuusisto, A., Meyers, J. & Jonni, V., 2012, Computer Science Logic 2012, 26th International Workshop, 21th Annual Conference of the EACSL, CSL '12. Cégielski, P. & Arnaud, D. (eds.). p. 470-484 (Annual Conference of the European Association for Computer Science Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    1 Citation (Scopus)

  • Weak models of distributed computing, with connections to modal logic

    Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J. & Jonni, V., 2012, Proceedings of the 2012 ACM symposium on Principles of distributed computing. p. 185-194 (ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    14 Citations (Scopus)
  • 2011

    Complexity of two-variable Dependence Logic and IF-Logic

    Kontinen, J., Kuusisto, A., Lohmann, P. & Jonni, V., 2011, Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science. Martin, G. (ed.). p. 289-298

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    6 Citations (Scopus)
  • 2010

    Logics of imperfect information without identity

    Kuusisto, A., 2010, Dependence and independence in logic, ESSLLI workshop 2010. Kontinen, J. & Väänänen, J. (eds.). p. 78-92 (ESSLLI workshop).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • 2009

    Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

    Hella, L. & Kuusisto, A., 2009, Preliminary proceedings of the 6th Workshop on Methods for Modalities. Bolander, T. & Torben, B. (eds.). Roskilde: Roskilde University, p. 103-117 (Computer science research report; no. 128).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

  • 2008

    A modal perspective on monadic second-order alternation hierarchies

    Kuusisto, A., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (eds.). King's College, London: COLLEGE PUBLICATIONS, p. 231-247 (Advances in Modal Logic; no. 7).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    7 Citations (Scopus)