Login / Signup
Anthia Solaki
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 6
Top Topics
Rational Agents
Epistemic Logic
Deductive Reasoning
Procedural Knowledge
Top Venues
J. Log. Comput.
WoLLIC
DaLí
J. Log. Lang. Inf.
</>
Publications
</>
Anthia Solaki
Actualizing distributed knowledge in bounded groups.
J. Log. Comput.
33 (6) (2023)
Anthia Solaki
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.
J. Log. Lang. Inf.
31 (4) (2022)
Anthia Solaki
Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge.
DaLí
(2020)
Anthia Solaki
,
Fernando R. Velázquez-Quesada
Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks.
LORI
(2019)
Anthia Solaki
Rule-Based Reasoners in Epistemic Logic.
ESSLLI Student Sessions
(2018)
Sonja Smets
,
Anthia Solaki
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.
WoLLIC
(2018)