Antti Kuusisto

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 70

Top Topics

Boolean Formula

Top Venues

Publications

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions. CoRR (2024)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Interpretable classifiers for tabular data via discretization and feature selection. CoRR (2024)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. CoRR (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
Graded modal logic and counting message passing automata. CoRR (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
Descriptive Complexity for Neural Networks via Boolean Networks. CSL (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
Descriptive complexity for neural networks via Boolean networks. CoRR (2023)
Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
Descriptive Complexity for Distributed Computing with Circuits. MFCS (2023)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Short Boolean Formulas as Explanations in Practice. CoRR (2023)
Antti Kuusisto, Raine Rönnholm
The optimal way to play the most difficult repeated two-player coordination games. Discret. Appl. Math. 339 (2023)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Short Boolean Formulas as Explanations in Practice. JELIA (2023)
Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
Descriptive complexity for distributed computing with circuits. CoRR (2023)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
A monotone connection between model class size and description length. CoRR (2023)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
Relating Description Complexity to Entropy. STACS (2023)
Reijo Jaakkola, Antti Kuusisto
Complexity Classifications via Algebraic Logic. CSL (2023)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. CoRR (2022)
Lauri Hella, Antti Kuusisto, Raine Rönnholm
Bounded game-theoretic semantics for modal mu-calculus. Inf. Comput. 289 (Part) (2022)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. HYDRA/RCRA@LPNMR (2022)
Reijo Jaakkola, Antti Kuusisto
First-order logic with self-reference. CoRR (2022)
Emanuel Kieronski, Antti Kuusisto
One-dimensional fragment over words and trees. J. Log. Comput. 32 (5) (2022)
Antti Kuusisto
On expressive rule-based logics. CoRR (2022)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
Relating description complexity to entropy. CoRR (2022)
Antti Kuusisto, Raine Rönnholm
The Optimal Way to Play the Most Difficult Repeated Coordination Games. GandALF (2021)
Emanuel Kieronski, Antti Kuusisto
One-Dimensional Fragment over Words and Trees. CoRR (2021)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
with applications to model checking. Inf. Comput. 276 (2021)
Jonne Iso-Tuisku, Antti Kuusisto
Description logics as polyadic modal logics. CoRR (2021)
Reijo Jaakkola, Antti Kuusisto
Algebraic classifications for fragments of first-order logic and beyond. CoRR (2020)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. ECAI (2020)
Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics. ACM Trans. Comput. Log. 21 (1) (2020)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational coordination with no communication or conventions. J. Log. Comput. 30 (6) (2020)
Lauri Hella, Antti Kuusisto, Raine Rönnholm
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants. GandALF (2020)
Antti Kuusisto, Fabian Reiter
Emptiness problems for distributed automata. Inf. Comput. 272 (2020)
Antti Kuusisto, Raine Rönnholm
Optimal protocols for the most difficult repeated coordination games. CoRR (2020)
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
Model checking and validity in propositional and modal inclusion logics. J. Log. Comput. 29 (5) (2019)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Alternating-time temporal logic ATL with finitely bounded semantics. Theor. Comput. Sci. 797 (2019)
Antti Kuusisto
On Games and Computation. CoRR (2019)
Cristina Feier, Antti Kuusisto, Carsten Lutz
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. Log. Methods Comput. Sci. 15 (2) (2019)
Antti Kuusisto, Carsten Lutz
Weighted model counting beyond two-variable logic. LICS (2018)
Antti Kuusisto, Carsten Lutz
Weighted model counting beyond two-variable logic. CoRR (2018)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. ACM Trans. Comput. Log. 19 (3) (2018)
Valentin Goranko, Antti Kuusisto
Logics for Propositional Determinacy and Independence. Rev. Symb. Log. 11 (3) (2018)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational coordination with no communication or conventions. CoRR (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational Coordination in Games with Enriched Representations. EUMAS/AT (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
CTL with Finitely Bounded Semantics. TIME (2017)
Cristina Feier, Antti Kuusisto, Carsten Lutz
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. CoRR (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Rational Coordination with no Communication or Conventions. LORI (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. AAMAS (2017)
Antti Kuusisto
First-order logic with incomplete information. CoRR (2017)
Emanuel Kieronski, Antti Kuusisto
One-Dimensional Logic over Trees. MFCS (2017)
Lauri Hella, Antti Kuusisto, Raine Rönnholm
Bounded game-theoretic semantics for modal mu-calculus. CoRR (2017)
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
Model Checking and Validity in Propositional and Modal Inclusion Logics. MFCS (2017)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for ATL+ with Applications to Model Checking. CoRR (2017)
Antti Kuusisto, Fabian Reiter
Emptiness Problems for Distributed Automata. GandALF (2017)
Cristina Feier, Antti Kuusisto, Carsten Lutz
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). ICDT (2017)
Valentin Goranko, Antti Kuusisto
Logics for Propositional Determinacy and Independence. CoRR (2016)
Juha Kontinen, Antti Kuusisto, Jonni Virtema
Decidability of Predicate Logics with Team Semantics. MFCS (2016)
Antti Kuusisto
On the Uniform One-dimensional Fragment. Description Logics (2016)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. AAMAS (2016)
Antti Kuusisto
On the uniform one-dimensional fragment. CoRR (2016)
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
Game-Theoretic Semantics for Alternating-Time Temporal Logic. CoRR (2016)
Cristina Feier, Antti Kuusisto, Carsten Lutz
FO-Rewritability of Expressive Ontology-Mediated Queries. Description Logics (2016)
Lauri Hella, Antti Kuusisto
Existential second-order logic and modal logic with quantified accessibility relations. Inf. Comput. 247 (2016)
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
Model Checking and Validity in Propositional and Modal Inclusion Logics. CoRR (2016)
Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics. CoRR (2015)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak models of distributed computing, with connections to modal logic. Distributed Comput. 28 (1) (2015)
Antti Kuusisto
Second-order propositional modal logic and monadic alternation hierarchies. Ann. Pure Appl. Log. 166 (1) (2015)
Antti Kuusisto
Team Semantics and Recursive Enumerability. SOFSEM (Student Research Forum Papers / Posters) (2015)
Emanuel Kieronski, Antti Kuusisto
Uniform One-Dimensional Fragments with One Equivalence Relation. CSL (2015)
Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
Modal Inclusion Logic: Being Lax is Simpler than Being Strict. MFCS (1) (2015)
Antti Kuusisto
A Double Team Semantics for Generalized Quantifiers. J. Log. Lang. Inf. 24 (2) (2015)
Emanuel Kieronski, Antti Kuusisto
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. CoRR (2014)
Emanuel Kieronski, Antti Kuusisto
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. MFCS (1) (2014)
Lauri Hella, Antti Kuusisto
One-dimensional Fragment of First-order Logic. Advances in Modal Logic (2014)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of two-variable dependence logic and IF-logic. Inf. Comput. 239 (2014)
Lauri Hella, Antti Kuusisto
One-dimensional fragment of first-order logic. CoRR (2014)
Juha Kontinen, Antti Kuusisto, Jonni Virtema
Decidable Fragments of Logics Based on Team Semantics. CoRR (2014)
Antti Kuusisto
Infinite Networks, Halting and Local Algorithms. GandALF (2014)
Antti Kuusisto
Team Semantics and Recursive Enumerability. CoRR (2014)
Antti Kuusisto
Some Turing-Complete Extensions of First-Order Logic. GandALF (2014)
Antti Kuusisto
A Double Team Semantics for Generalized Quantifiers. CoRR (2013)
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Undecidable First-Order Theories of Affine Geometries. Log. Methods Comput. Sci. 9 (4) (2013)
Antti Kuusisto
Modal Logic and Distributed Message Passing Automata. CSL (2013)
Antti Kuusisto
Expressivity of Imperfect Information Logics without Identity. Stud Logica 101 (2) (2013)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak Models of Distributed Computing, with Connections to Modal Logic CoRR (2012)
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Undecidable First-Order Theories of Affine Geometries CoRR (2012)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak models of distributed computing, with connections to modal logic. PODC (2012)
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Undecidable First-Order Theories of Affine Geometries. CSL (2012)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of Two-Variable Dependence Logic and IF-Logic. LICS (2011)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of two-variable Dependence Logic and IF-Logic CoRR (2011)
Lauri Hella, Antti Kuusisto
and Modal Logic with Quantified Binary Relations. Electron. Notes Theor. Comput. Sci. 262 (2010)
Antti Kuusisto
A modal perspective on monadic second-order alternation hierarchies. Advances in Modal Logic (2008)