Antti Kuusisto

106 papers A* 5A 5B 13C 1Journal 65Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Descriptive complexity for neural networks via Boolean networks. J. Log. Comput. Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2026	A*	`conf`	Expressive Power of Graph Transformers via Logic. AAAI Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025	B	`conf`	Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. CSL Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2025	J	`jnl`	Descriptive complexity for distributed computing with circuits. J. Log. Comput. Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2025	J	`jnl`	Explainability via Short Formulas: the Case of Propositional Logic with Implementation. J. Artif. Intell. Res. Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2025	J	`jnl`	Expressive Power of Graph Transformers via Logic. CoRR Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025	J	`jnl`	Games for graded modal substitution calculus. CoRR Veeti Ahvonen, Reijo Jaakkola, Antti Kuusisto
2025	J	`jnl`	Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization. CoRR Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Magdalena Ortiz, Matias Selin, Mantas Simkus
2025	J	`jnl`	Graph neural networks and MSO. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2025	J	`jnl`	Relating description complexity to entropy. J. Comput. Syst. Sci. Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2025	—	`conf`	Why This and Not That? A Logic-Based Framework for Contrastive Explanations. JELIA (1) Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander
2025	J	`jnl`	Why this and not that? A Logic-based Framework for Contrastive Explanations. CoRR Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander
2024	J	`jnl`	Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. CoRR Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2024	B	`conf`	Descriptive Complexity for Neural Networks via Boolean Networks. CSL Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2024	J	`jnl`	Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions. CoRR Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2024	J	`jnl`	Graded modal logic and counting message passing automata. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2024	—	`conf`	Interpretable Classifiers for Tabular Data via Feature Selection and Discretization. DAO-XAI@ECAI Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2024	J	`jnl`	Interpretable classifiers for tabular data via discretization and feature selection. CoRR Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2024	J	`jnl`	Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
2024	A*	`conf`	Logical characterizations of recurrent graph neural networks with reals and floats. NeurIPS Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
2023	J	`jnl`	A monotone connection between model class size and description length. CoRR Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2023	B	`conf`	Complexity Classifications via Algebraic Logic. CSL Reijo Jaakkola, Antti Kuusisto
2023	B	`conf`	Descriptive Complexity for Distributed Computing with Circuits. MFCS Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2023	J	`jnl`	Descriptive complexity for distributed computing with circuits. CoRR Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2023	J	`jnl`	Descriptive complexity for neural networks via Boolean networks. CoRR Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2023	A	`conf`	Relating Description Complexity to Entropy. STACS Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2023	B	`conf`	Short Boolean Formulas as Explanations in Practice. JELIA Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2023	J	`jnl`	Short Boolean Formulas as Explanations in Practice. CoRR Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2023	J	`jnl`	The optimal way to play the most difficult repeated two-player coordination games. Discret. Appl. Math. Antti Kuusisto, Raine Rönnholm
2022	J	`jnl`	Bounded game-theoretic semantics for modal mu-calculus. Inf. Comput. Lauri Hella, Antti Kuusisto, Raine Rönnholm
2022	—	`conf`	Explainability via Short Formulas: the Case of Propositional Logic with Implementation. HYDRA/RCRA@LPNMR Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2022	J	`jnl`	Explainability via Short Formulas: the Case of Propositional Logic with Implementation. CoRR Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2022	J	`jnl`	First-order logic with self-reference. CoRR Reijo Jaakkola, Antti Kuusisto
2022	J	`jnl`	On expressive rule-based logics. CoRR Antti Kuusisto
2022	J	`jnl`	One-dimensional fragment over words and trees. J. Log. Comput. Emanuel Kieronski, Antti Kuusisto
2022	J	`jnl`	Relating description complexity to entropy. CoRR Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2021	J	`jnl`	Description logics as polyadic modal logics. CoRR Jonne Iso-Tuisku, Antti Kuusisto
2021	J	`jnl`	Game-theoretic semantics for ATL Inf. Comput. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2021	J	`jnl`	One-Dimensional Fragment over Words and Trees. CoRR Emanuel Kieronski, Antti Kuusisto
2021	—	`conf`	The Optimal Way to Play the Most Difficult Repeated Coordination Games. GandALF Antti Kuusisto, Raine Rönnholm
2020	J	`jnl`	Algebraic classifications for fragments of first-order logic and beyond. CoRR Reijo Jaakkola, Antti Kuusisto
2020	—	`conf`	Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants. GandALF Lauri Hella, Antti Kuusisto, Raine Rönnholm
2020	J	`jnl`	Emptiness problems for distributed automata. Inf. Comput. Antti Kuusisto, Fabian Reiter
2020	A	`conf`	Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. ECAI Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2020	J	`jnl`	Optimal protocols for the most difficult repeated coordination games. CoRR Antti Kuusisto, Raine Rönnholm
2020	J	`jnl`	Rational coordination with no communication or conventions. J. Log. Comput. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2020	J	`jnl`	Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics. ACM Trans. Comput. Log. Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
2019	J	`jnl`	Alternating-time temporal logic ATL with finitely bounded semantics. Theor. Comput. Sci. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2019	J	`jnl`	Model checking and validity in propositional and modal inclusion logics. J. Log. Comput. Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
2019	J	`jnl`	On Games and Computation. CoRR Antti Kuusisto
2019	J	`jnl`	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Log. Methods Comput. Sci. Cristina Feier, Antti Kuusisto, Carsten Lutz
2018	J	`jnl`	Game-Theoretic Semantics for Alternating-Time Temporal Logic. ACM Trans. Comput. Log. Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2018	J	`jnl`	Logics for Propositional Determinacy and Independence. Rev. Symb. Log. Valentin Goranko, Antti Kuusisto
2018	A*	`conf`	Weighted model counting beyond two-variable logic. LICS Antti Kuusisto, Carsten Lutz
2018	J	`jnl`	Weighted model counting beyond two-variable logic. CoRR Antti Kuusisto, Carsten Lutz
2017	J	`jnl`	Bounded game-theoretic semantics for modal mu-calculus. CoRR Lauri Hella, Antti Kuusisto, Raine Rönnholm
2017	C	`conf`	CTL with Finitely Bounded Semantics. TIME Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	—	`conf`	Emptiness Problems for Distributed Automata. GandALF Antti Kuusisto, Fabian Reiter
2017	J	`jnl`	First-order logic with incomplete information. CoRR Antti Kuusisto
2017	A	`conf`	Game-Theoretic Semantics for ATL+ with Applications to Model Checking. AAMAS Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	J	`jnl`	Game-Theoretic Semantics for ATL+ with Applications to Model Checking. CoRR Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	B	`conf`	Model Checking and Validity in Propositional and Modal Inclusion Logics. MFCS Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
2017	B	`conf`	One-Dimensional Logic over Trees. MFCS Emanuel Kieronski, Antti Kuusisto
2017	—	`conf`	Rational Coordination in Games with Enriched Representations. EUMAS/AT Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	—	`conf`	Rational Coordination with no Communication or Conventions. LORI Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	J	`jnl`	Rational coordination with no communication or conventions. CoRR Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2017	A	`conf`	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). ICDT Cristina Feier, Antti Kuusisto, Carsten Lutz
2017	J	`jnl`	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. CoRR Cristina Feier, Antti Kuusisto, Carsten Lutz
2016	B	`conf`	Decidability of Predicate Logics with Team Semantics. MFCS Juha Kontinen, Antti Kuusisto, Jonni Virtema
2016	J	`jnl`	Existential second-order logic and modal logic with quantified accessibility relations. Inf. Comput. Lauri Hella, Antti Kuusisto
2016	—	`conf`	FO-Rewritability of Expressive Ontology-Mediated Queries. Description Logics Cristina Feier, Antti Kuusisto, Carsten Lutz
2016	A	`conf`	Game-Theoretic Semantics for Alternating-Time Temporal Logic. AAMAS Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2016	J	`jnl`	Game-Theoretic Semantics for Alternating-Time Temporal Logic. CoRR Valentin Goranko, Antti Kuusisto, Raine Rönnholm
2016	J	`jnl`	Logics for Propositional Determinacy and Independence. CoRR Valentin Goranko, Antti Kuusisto
2016	J	`jnl`	Model Checking and Validity in Propositional and Modal Inclusion Logics. CoRR Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
2016	—	`conf`	On the Uniform One-dimensional Fragment. Description Logics Antti Kuusisto
2016	J	`jnl`	On the uniform one-dimensional fragment. CoRR Antti Kuusisto
2015	J	`jnl`	A Double Team Semantics for Generalized Quantifiers. J. Log. Lang. Inf. Antti Kuusisto
2015	—	`conf`	Modal Inclusion Logic: Being Lax is Simpler than Being Strict. MFCS (1) Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
2015	J	`jnl`	Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics. CoRR Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
2015	J	`jnl`	Second-order propositional modal logic and monadic alternation hierarchies. Ann. Pure Appl. Log. Antti Kuusisto
2015	—	`conf`	Team Semantics and Recursive Enumerability. SOFSEM (Student Research Forum Papers / Posters) Antti Kuusisto
2015	B	`conf`	Uniform One-Dimensional Fragments with One Equivalence Relation. CSL Emanuel Kieronski, Antti Kuusisto
2015	J	`jnl`	Weak models of distributed computing, with connections to modal logic. Distributed Comput. Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2014	—	`conf`	Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. MFCS (1) Emanuel Kieronski, Antti Kuusisto
2014	J	`jnl`	Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. CoRR Emanuel Kieronski, Antti Kuusisto
2014	J	`jnl`	Complexity of two-variable dependence logic and IF-logic. Inf. Comput. Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2014	J	`jnl`	Decidable Fragments of Logics Based on Team Semantics. CoRR Juha Kontinen, Antti Kuusisto, Jonni Virtema
2014	—	`conf`	Infinite Networks, Halting and Local Algorithms. GandALF Antti Kuusisto
2014	B	`conf`	One-dimensional Fragment of First-order Logic. Advances in Modal Logic Lauri Hella, Antti Kuusisto
2014	J	`jnl`	One-dimensional fragment of first-order logic. CoRR Lauri Hella, Antti Kuusisto
2014	—	`conf`	Some Turing-Complete Extensions of First-Order Logic. GandALF Antti Kuusisto
2014	J	`jnl`	Team Semantics and Recursive Enumerability. CoRR Antti Kuusisto
2013	J	`jnl`	A Double Team Semantics for Generalized Quantifiers. CoRR Antti Kuusisto
2013	J	`jnl`	Expressivity of Imperfect Information Logics without Identity. Stud Logica Antti Kuusisto
2013	B	`conf`	Modal Logic and Distributed Message Passing Automata. CSL Antti Kuusisto
2013	J	`jnl`	Undecidable First-Order Theories of Affine Geometries. Log. Methods Comput. Sci. Antti Kuusisto, Jeremy Meyers, Jonni Virtema
2012	J	`jnl`	Undecidable First-Order Theories of Affine Geometries CoRR Antti Kuusisto, Jeremy Meyers, Jonni Virtema
2012	B	`conf`	Undecidable First-Order Theories of Affine Geometries. CSL Antti Kuusisto, Jeremy Meyers, Jonni Virtema
2012	J	`jnl`	Weak Models of Distributed Computing, with Connections to Modal Logic CoRR Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2012	A*	`conf`	Weak models of distributed computing, with connections to modal logic. PODC Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
2011	A*	`conf`	Complexity of Two-Variable Dependence Logic and IF-Logic. LICS Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2011	J	`jnl`	Complexity of two-variable Dependence Logic and IF-Logic CoRR Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2011	—	`—`	Modal Fragments of Second-Order Logic. Antti Kuusisto
2009	—	`conf`	Monadic Sigma M4M Lauri Hella, Antti Kuusisto
2008	B	`conf`	A modal perspective on monadic second-order alternation hierarchies. Advances in Modal Logic Antti Kuusisto