When possible, I provide links to free versions of the manuscripts, content-wise identical to the published versions, as well as links to my co-authors' websites.
Maarten Schadd, Anthia Solaki, Thomas van den Broek, Rosa van Tuijn, Thomas Dankers, Bas Binnerts, Jean Paul Dingemanse, Anne Meester. A Mission Management System for Minimizing Energy Use and Emissions During Vessel Operation. Journal of Physics: Conference Series, 3123:012057. Proceedings of the 8th International Conference on Maritime Autonomous Surface Ships and 1st Intelligent and Smart Shipping Symposium (ISSS). 2025.
Loes Erven, Serge Thill, Anthia Solaki. Shared Learning Effects in Evaluations of Machine Teammates. In Proceedings of the 34th IEEE International Conference on Robot and Human Interactive Communication (ROMAN). 2025.
Anthia Solaki. A Logic for Bounded Multi-Agent Reasoning: Deductive Inference, Introspection, and Attribution. Synthese, 205(4), 169. 2025.
Gaia Belardinelli, Lei Li, Sonja Smets, Anthia Solaki. Logics for Personalized Announcements and Attention Dynamics. Review of Analytic Philosophy, 5 (1), 1-41. 2025.
Karel van den Bosch, Emma van Zoelen, Tjeerd Schoonderwoerd, Anthia Solaki, Birgit van der Stigchel, Ivana Akrum. Design and Effects of Co-Learning in Human-AI Teams. Journal of Artificial Intelligence Research, 82, 1445-1493. 2025.
Anthia Solaki, Karel van den Bosch. What do Large Language Models Think You Think? A False Belief Task Study in a Safety-Critical Domain. In Proceedings of Advancing Artificial Intelligence through Theory of Mind at the 39th Annual AAAI Conference on Artificial Intelligence. 2025.
Anthia Solaki, Fernando R. Velázquez-Quesada. A Logical Formalisation of False Belief Tasks. Journal of Applied Non-Classical Logics, 1–51. 2024.
Anthia Solaki, José Kerstholt, Maaike Roelofs. Creative Decision-Making in Multi-Domain Operations. In Proceedings of the 29th International Command and Control Research and Technology Symposium ICCRTS. 2024. [Runner-up for best paper award]
Anthia Solaki. Actualizing Distributed Knowledge in Bounded Groups. Journal of Logic and Computation, 33(6), 1497-1525. 2023.
Anthia Solaki. The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. Journal of Logic, Language and Information, 31(4), 529-553. 2022.
Anthia Solaki. Logical Models for Bounded Reasoners. Doctoral dissertation at the University of Amsterdam. 2021.
An accessible summary of the ideas behind my dissertation appear in this article of the ILLC blog, written by Iris Proff.
Anthia Solaki. Bounded Multi-Agent Reasoning: Actualizing Distributed Knowledge. In: Martins, M.A., Sedlár, I. (eds) Dynamic Logic. New Trends and Applications. DaLi 2020. Lecture Notes in Computer Science, vol 12569. Springer, Cham. 2020.
Anthia Solaki, Fernando R. Velázquez-Quesada. What Do You Believe Your Friends Believe? Towards Realistic Belief Attributions in Multi-Agent Systems. Extended abstract in: NETREASON workshop at 24th European Conference on Artificial Intelligence (ECAI). 2020.
Anthia Solaki, Fernando R. Velázquez-Quesada. Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. In Blackburn, P., Lorini, E., Guo, M. (eds) Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science, vol 11813. Springer, Berlin, Heidelberg. 2019.
Anthia Solaki. Rule-based Reasoners in Epistemic Logic. In: Sikos, J., Pacuit, E. (eds) At the Intersection of Language, Logic, and Information. ESSLLI 2018. Lecture Notes in Computer Science, vol 11667. Springer, Berlin, Heidelberg. 2019. [Axioms award]
Anthia Solaki, Franz Berto, and Sonja Smets. The Logic of Fast and Slow Thinking. Erkenntnis, 86 (3), 733–762. 2019.
Anthia Solaki. A Dynamic Epistemic Logic for Resource-bounded Agents. In: I. Sedlár, I., Blicha, M. (eds) The Logica Yearbook 2018. London: College Publications. 2018.
Sonja Smets, Anthia Solaki. The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. In: Moss, L., de Queiroz, R., Martinez, M. (eds) Logic, Language, Information, and Computation. WoLLIC 2018. Lecture Notes in Computer Science, vol 10944. Springer, Berlin, Heidelberg. 2018.
Anthia Solaki. Steps Out of Logical Omniscience. Master's thesis at the Institute for Logic, Language, and Computation, University of Amsterdam. 2017.
Anthia Solaki, Zoi Terzopoulou, and Bonan Zhao. Logic of Closeness Revision: Challenging Relations in Social Networks. In Proceedings of the 28th European Summer School in Logic, Language and Information (ESSLLI student session). 2016. [Springer best paper award]
A Mission Management System for Minimizing Energy Use and Emissions During Vessel Operation (based on joint work with Maarten Schadd, Thomas van den Broek, Rosa van Tuijn, Thomas Dankers, Bas Binnerts, Jean Paul Dingemanse, Anne Meester). At the 8th International Conference on Maritime Autonomous Surface Ships and 1st Intelligent Smart Shipping Symposium (ISSS) (Hamburg, Germany). 2025.
Knowledge Management for Autonomous Systems in an Open World (based on joint work with Fieke Hillerström, Judith Dijk, Lukas Steenstra, Willeke van Vught). Poster presentation at SPIE Sensors+Imaging (Madrid, Spain). 2025.
Shared Learning Effects in Evaluations of Machine Teammates (based on joint work with Loes Erven and Serge Thill). At the 34th IEEE International Conference on Robot and Human Interactive Communication (ROMAN) (Eindhoven, The Netherlands). 2025.
What do Large Language Models Think You Think? A False Belief Task Study in a Safety-Critical Domain (based on joint work with Karel van den Bosch). Poster presentation at the AAAI workshop Advancing Artificial Intelligence through Theory of Mind (Philadelphia, USA). 2025.
Creative Decision-Making in Multi-Domain Operations (based on joint work with José Kerstholt and Maaike Roelofs). The 29th International Command and Control Research and Technology Symposium (London, UK). 2024.
Impossible Worlds in Dynamic Epistemic Logic. Arché Metaphysics and Logic seminar, University of St Andrews. 2021.
Bounded Multi-agent Reasoning: Inference, Introspection, Attribution. Logic of Conceivability Conference. 2021.
Actualizing Distributed Knowledge in Bounded Groups. The Utrecht Logic in Progress Series. 2021.
Bounded Multi-agent Reasoning: Inference, Introspection, Attribution. Logic seminar of Indiana University. 2021.
Bounded Multi-Agent Reasoning: Actualizing Distributed Knowledge. 3rd DaLí Workshop. 2020.
What Do You Believe Your Friends Believe? Towards Realistic Belief Attributions in Multi-Agent Systems (based on joint work with Fernando R. Velázquez-Quesada). NETREASON@ECAI: Reasoning about social networks. 2020.
Bridging Epistemic Logic and Resource-Bounded Human Reasoning. Research seminar of Logic Group, University of Milan. 2020.
Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks (based on joint work with Fernando R. Velázquez-Quesada). 7th International Conference on Logic, Rationality and Interaction (Chongqing, China). 2019.
Human Reasoning is Bounded -- What About Its Logical Models? Poster presentation at "Interacting Minds" summer school of the Centre for Communication, Cognition and Computation (Egmond aan Zee, the Netherlands). 2019.
Rule-based Reasoners in Epistemic Logic. 30th European Summer School in Logic, Language and Information (Sofia, Bulgaria). 2018.
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents (based on joint work with Sonja Smets). 25th Workshop on Logic, Language, Information and Computation (Bogota, Colombia). 2018.
A Dynamic Epistemic Logic for Resource-bounded Agents. Logica conference (Hejnice, Czech Republic). 2018.
Tracing the Footprints to Knowledge: Logical Systems for Resource-bounded Reasoning. Logic in the Wild workshop (Ghent, Belgium). 2017.
Logic of Closeness Revision in Social Networks (based on joint work with Zoi Terzopoulou and Bonan Zhao). 12th Conference on Logic and the Foundations of Game and Decision Theory (Maastricht, the Netherlands). 2016.