Antti Kuusisto

Tutkimustuotos

Tutkimustuotoksia vuodessa 2007 2013 2019 2020 2022 2023 2024 2025 2025

• 19 Konferenssiartikkeli
• 17 Artikkeli
• 1 Tutkimusraportti
• 1 Väitöskirja
• 2 Lisää
  • 1 Muu verkkokirjoitus
  • 1 Esipainos

Tutkimustuotoksia vuodessa

Tutkimustuotoksia vuodessa

Hakutulokset

• 2025

  Description Complexity of Unary Structures in First-Order Logic with Links to Entropy

  Jaakkola, R., Kuusisto, A. & Vilander, M., 3 helmik. 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (toim.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-20 17. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 326).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Asymptotic Result 100%
  • Stirling's Approximation 100%
  • Chernoff Bound 100%
  • Sublinear Term 16%
  • Approximation Bound 16%
  1 Lataukset (Pure)

• Descriptive complexity for distributed computing with circuits

  Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., tammik. 2025, (E-pub ahead of print) julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. exae087.

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Distributed Computing 100%
  • Computation Time 100%
  • Message Passing 100%
  • time-delay 50%
  • Expressive Power 50%
  6 Lataukset (Pure)

• Relating description complexity to entropy

  Jaakkola, R., Kuusisto, A. & Vilander, M., toukok. 2025, julkaisussa: Journal of Computer and System Sciences. 149, 103615.

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Kolmogorov Complexity 100%
  • Relational Structure 100%
  • Variable Assignment 100%
  • PLC1 50%
  6 Lataukset (Pure)
• 2024

  Descriptive Complexity for Neural Networks via Boolean Networks

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Boolean Networks 100%
  • Neural Network 100%
  • Descriptional Complexity 100%
  • Delay Time 100%
  • Boolean Network 100%
  1 Sitaatiot (Scopus)

  7 Lataukset (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 Sivumäärä (CEUR Workshop Proceedings; Vuosikerta 3833).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Feature Selection 100%
  • Feature Extraction 100%
  • Discretization 100%
  • Interpretable Classifier 100%
  • Feature Discretization 100%
  10 Lataukset (Pure)

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

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Recurrent Graph 100%
  • Graph Neural Network 100%
  • Logical Characterization 100%
  • Neural Network 100%
  • Rule-based 37%
  5 Lataukset (Pure)
• 2023

  Complexity Classifications via Algebraic Logic

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • First-order Logic 100%
  • Algebraic Logic 100%
  • Complexity Classification 100%
  • Decidability 100%
  • Classification Complexity 100%
  15 Lataukset (Pure)

• Descriptive Complexity for Distributed Computing with Circuits

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Distributed Computing 100%
  • Descriptional Complexity 100%
  • Logarithmic Size 100%
  • Message Passing 100%
  • Expressive Power 100%
  2 Sitaatiot (Scopus)

  11 Lataukset (Pure)

• Descriptive complexity for neural networks via Boolean networks

  Ahvonen, V., Heiman, D. & Kuusisto, A., 2023, (Submitted).

  Tutkimustuotos: Esipainos › Tieteellinen

  Tiedosto

  • Boolean Networks 100%
  • Neural Network 100%
  • Descriptional Complexity 100%
  • Boolean Network 100%
  • Descriptive Complexity 100%
  4 Lataukset (Pure)

• Relating Description Complexity to Entropy

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Descriptional Complexity 100%
  • Kolmogorov Complexity 100%
  • Relational Structure 100%
  • Variable Assignment 100%
  • Boltzmann Equation 100%
  2 Sitaatiot (Scopus)

  14 Lataukset (Pure)

• Short Boolean Formulas as Explanations in Practice

  Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 24 syysk. 2023, Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V. & Ortiz, M. (toim.). Springer, Vuosikerta 14281. s. 90-105 16 Sivumäärä 7. (Lecture Notes in Computer Science; Vuosikerta 14281).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Boolean Formulas 100%
  • Minimizes 100%
  • Cross-Validation 100%
  • Explainability 100%
  • Boolean Formula 100%
  2 Sitaatiot (Scopus)

  19 Lataukset (Pure)

• The optimal way to play the most difficult repeated two-player coordination games

  Kuusisto, A. & Rönnholm, R., 2023, julkaisussa: Discrete Applied Mathematics. 339, s. 36-52 17 Sivumäärä

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Finite Set 100%
  • Worst Case 100%
  • Least Upper Bound 100%
  • Case Scenario 100%
  • Complete Classification 100%
  20 Lataukset (Pure)
• 2022

  Bounded game-theoretic semantics for modal mu-calculus

  Hella, L., Kuusisto, A. & Rönnholm, R., 2022, julkaisussa: Information and Computation. 289, B, 19 Sivumäärä, 104882.

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Game-theoretic Semantics 100%
  • Modal μ-calculus 100%
  • Model Checking 100%
  • μ-calculus 100%
  • Μ-calculus 50%
  45 Lataukset (Pure)

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

  Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 5 syysk. 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, Vuosikerta 3281. s. 64-77 13 Sivumäärä ( CEUR workshop proceedings).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Explainability 100%
  • Propositional Logic 100%
  • Answer Set Programming 100%
  • Polynomial Hierarchy 100%
  • Input Model 50%
  4 Sitaatiot (Scopus)

  15 Lataukset (Pure)

• One-dimensional fragment over words and trees

  Kuusisto, A. & Kieronski, E., 1 heinäk. 2022, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 32, 5, s. 902-941 40 Sivumäärä

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
  1 Sitaatiot (Scopus)

  8 Lataukset (Pure)
• 2021

  Game-theoretic semantics for ATL⁺ with applications to model checking

  Goranko, V., Kuusisto, A. & Rönnholm, R., 2021, julkaisussa: Information and Computation. 276, 23 Sivumäärä, 104554.

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  • Game-theoretic Semantics 100%
  • Model Checking 100%
  • Temporal Logic 33%
  • Natural Hierarchy 33%
  • Memory Resource 20%
  4 Sitaatiot (Scopus)

• The optimal way to play the most difficult repeated coordination games

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Finite Set 100%
  • Worst Case 100%
  • Least Upper Bound 100%
  • Case Scenario 100%
  • Complete Classification 100%
  8 Lataukset (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). Vuosikerta 326. s. 82–96 15 Sivumäärä (Electronic proceedings in theoretical computer science).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access
  1 Sitaatiot (Scopus)

• Emptiness problems for distributed automata

  Kuusisto, A. & Reiter, F., kesäk. 2020, julkaisussa: Information and Computation. 272, 17 Sivumäärä, 104503.

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  • Automata 100%
  • Distributed Automata 100%
  • Emptiness Problem 100%
  • Automaton 100%
  • Computational Power 25%

• Gradual guaranteed coordination in repeatedwin-lose coordination games

  Goranko, V., Kuusisto, A. & Rönnholm, R., 24 elok. 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. (toim.). IOS Press BV, s. 115-122 8 Sivumäärä (Frontiers in Artificial Intelligence and Applications; Vuosikerta 325).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Coordination Games 100%
  • Coordination Game 100%
  • Structural Symmetry 33%
  • Coordination Protocol 33%
  • Rational Player 33%
  1 Sitaatiot (Scopus)

  13 Lataukset (Pure)

• Rational coordination with no communication or conventions

  Rönnholm, R., Kuusisto, A. & Goranko, V., 11 heinäk. 2020, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 30, 6, s. 1183–1211 29 Sivumäärä

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  • Coordination Games 100%
  • Limited Communication 100%
  • Coordination Game 100%
  • Decision Method 33%
  • Payoff 33%
  3 Sitaatiot (Scopus)
• 2019

  Alternating-time temporal logic ATL with finitely bounded semantics

  Goranko, V., Kuusisto, A. & Rönnholm, R., 2019, julkaisussa: Theoretical Computer Science. 797, s. 129-155

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  • Bounded Semantics 100%
  • Alternating-time Temporal Logic 100%
  • Eventuality 100%
  • Tableau Systems 75%
  • Time Limits 50%
  4 Sitaatiot (Scopus)

• Model checking and validity in propositional and modal inclusion logics

  Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 2019, julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. 29, 5, s. 605-630 26 Sivumäärä

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  • Modal 100%
  • Inclusion Logic 100%
  • Model Checking 100%
  • Team Semantics 66%
  • Logic-based 33%
  9 Sitaatiot (Scopus)

• On Games and Computation

  Kuusisto, A., 2019, Tampere University.

  Tutkimustuotos: Tutkimusraportti

  Open access

  • Logic-based 100%
  • General Notion 100%
  • Game-theoretic Semantics 100%
  • Relational Structure 100%
  • Discrete Evolution 100%

• Rewritability in monadic disjunctive Datalog, Mmsnp, and expressive description logics

  Feier, C., Kuusisto, A. & Lutz, C., 2019, julkaisussa: Logical Methods in Computer Science. 15, 2, s. 15:1-15:46

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

  • Mmsnp 100%
  • Disjunctive Datalog 100%
  • Rewritability 100%
  • Description Logics 100%
  • Datalog 100%
  16 Sitaatiot (Scopus)

  12 Lataukset (Pure)

• Satisfiability of modal inclusion logic: Lax and strict semantics

  Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 2019, julkaisussa: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 1, 7.

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

  • Modal 100%
  • Inclusion Logic 100%
  • Computational Complexity 100%
  • Satisfiability Problem 100%
  • Class-specific 50%
  4 Sitaatiot (Scopus)
• 2016

  Existential second-order logic and modal logic with quantified accessibility relations

  Hella, L. & Kuusisto, A., 2016, julkaisussa: Information and Computation. 247, s. 217-234

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
• 2015

  Second-order propositional modal logic and monadic alternation hierarchies

  Kuusisto, A., 2015, julkaisussa: ANNALS OF PURE AND APPLIED LOGIC. 166, 1, s. 1-28

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
  6 Sitaatiot (Scopus)
• 2014

  Complexity of two-variable dependence logic and IF-logic

  Kontinen, J., Kuusisto, A., Lohmann, P. & Jonni, V., 2014, julkaisussa: Information and Computation. 239, s. 237-253

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
  8 Sitaatiot (Scopus)
• 2013

  Expressivity of Imperfect Information Logics without Identity

  Kuusisto, A., 2013, julkaisussa: STUDIA LOGICA. 101, 2, s. 237-265

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• Modal Logic and Distributed Message Passing Automata

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  13 Sitaatiot (Scopus)

• Undecidable First-Order Theories of Affine Geometries

  Kuusisto, A., Meyers, J. & Jonni, V., 2013, julkaisussa: Logical Methods in Computer Science. 9, 4, 26.

  Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (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. (toim.). s. 470-484 (Annual Conference of the European Association for Computer Science Logic).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

  Open access
  1 Sitaatiot (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. s. 185-194 (ACM Symposium on Principles of Distributed Computing).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  14 Sitaatiot (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. (toim.). s. 289-298

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  6 Sitaatiot (Scopus)

• Modal fragments of second-order logic

  Kuusisto, A., 2011, Tampere: Tampere University Press. (Acta Universitatis Tamperensis; nro 1657)

  Tutkimustuotos: Väitöskirja › Monografia
• 2010

  Logics of imperfect information without identity

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 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. (toim.). Roskilde: Roskilde University, s. 103-117 (Computer science research report; nro 128).

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
• 2008

  A modal perspective on monadic second-order alternation hierarchies

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

  Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
  7 Sitaatiot (Scopus)
• 2007

  Deduction Systems for Multimodal Logics with Operations on Modalities

  Kuusisto, A., 2007, julkaisussa: TamPub verkkojulkaisut.

  Tutkimustuotos: Muu verkkokirjoitus › General public

  Open access