Antti Kuusisto
Orcid: 0000-0003-1356-8749
According to our database1,
Antti Kuusisto
authored at least 61 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy.
CoRR, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
2023
Discret. Appl. Math., November, 2023
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
2022
Explainability via Short Formulas: the Case of Propositional Logic with Implementation.
Proceedings of the 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), 2022
2021
Inf. Comput., 2021
Proceedings of the Proceedings 12th International Symposium on Games, 2021
2020
ACM Trans. Comput. Log., 2020
Proceedings of the Proceedings 11th International Symposium on Games, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Theor. Comput. Sci., 2019
J. Log. Comput., 2019
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
Log. Methods Comput. Sci., 2019
2018
ACM Trans. Comput. Log., 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).
Proceedings of the 20th International Conference on Database Theory, 2017
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Existential second-order logic and modal logic with quantified accessibility relations.
Inf. Comput., 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
Distributed Comput., 2015
Ann. Pure Appl. Log., 2015
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2015, 2015
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the Advances in Modal Logic 10, 2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2009
Monadic Sigma<sup>1</sup><sub>1</sub> and Modal Logic with Quantified Binary Relations.
Proceedings of the 6th Workshop on Methods for Modalities, 2009
2008
Proceedings of the Advances in Modal Logic 7, 2008