Rule-Based Reasoners in Epistemic Logic. - Anthia Solaki (ESSLLI Student Sessions, 2018)

The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. - Sonja Smets; Anthia Solaki (WoLLIC, 2018)

Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. - Anthia Solaki; Fernando R. Velázquez-Quesada (LORI, 2019)

Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge. - Anthia Solaki (DaLí, 2020)

The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. - Anthia Solaki (J. Log. Lang. Inf., 2022)

Actualizing distributed knowledge in bounded groups. - Anthia Solaki (J. Log. Comput., 2023)

Proceedings of 1st Workshop on Advancing Artificial Intelligence through Theory of Mind. - Mouad Abrini; Omri Abend; Dina M. Acklin; Henny Admoni; Gregor Aichinger; Nitay Alon; Zahra Ashktorab; Ashish Atreja; Moises Auron; Alexander Aufreiter; Raghav Awasthi; Soumya Banerjee; et al. (CoRR, 2025)

A logical formalisation of false belief tasks. - Anthia Solaki; Fernando R. Velázquez-Quesada (J. Appl. Non Class. Logics, 2025)