Research
PAPERS
Anthia Solaki. Actualizing Distributed Knowledge in Bounded Groups. Journal of Logic and Computation. 2022.
Anthia Solaki. The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents (extension of WoLLIC 2018 paper). Journal of Logic, Language and Information. 2022.
Anthia Solaki. Bounded Multi-Agent Reasoning: Actualizing Distributed Knowledge. In Proceedings of the 3rd DaLí Workshop (Dynamic Logic: New Trends and Applications) 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 Proceedings of the 7th International Conference on Logic, Rationality and Interaction (LORI) 2019.
Anthia Solaki, Franz Berto, and Sonja Smets. The Logic of Fast and Slow Thinking. Erkenntnis. 2019.
Anthia Solaki. A Dynamic Epistemic Logic for Resource-bounded Agents. The Logica Yearbook 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. pp. 307-324. 2018.
Anthia Solaki. Rule-based Reasoners in Epistemic Logic. In Proceedings of the 30th European Summer School in Logic, Language and Information (ESSLLI Student Session). 2018. [Axioms award]
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]
TALKS
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.
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 (poster presentation 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.