For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

A. (Anthi) Solaki MSc

Faculty of Humanities
Logic and Language

Visiting address
  • Science Park 904
Postal address
  • Postbus 94201
    1090 GE Amsterdam
Contact details
  • Publications

    2021

    2020

    • Solaki, A. (2020). Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge. In M. A. Martins, & I. Sedlár (Eds.), Dynamic Logic : New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020 : revised selected papers (pp. 239-258). (Lecture Notes in Computer Science; Vol. 12569). Springer. https://doi.org/10.1007/978-3-030-65840-3_15 [details]

    2019

    • Solaki, A. (2019). A Dynamic Epistemic Logic for Resource-Bounded Agents. In I. Sedlár, & M. Blicha (Eds.), The Logica Yearbook 2018 (pp. 229-244). College Publications. https://eprints.illc.uva.nl/id/eprint/1713/
    • Solaki, A., & Velázquez-Quesada, F. R. (2019). Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks. In P. Blackburn, E. Lorini, & M. Guo (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp. 297-312). (Lecture Notes in Computer Science; Vol. 11813), (FoLLI Publications on Logic, Language and Information). Berlin: Springer. https://doi.org/10.1007/978-3-662-60292-8_22 [details]

    2018

    • Smets, S., & Solaki, A. (2018). The effort of reasoning: modelling the inference steps of boundedly rational agents. In L. S. Moss, R. de Queiroz, & M. Martinez (Eds.), Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings (pp. 307-324). (Lecture Notes in Computer Science; Vol. 10944), (FoLLI Publications on Logic, Language and Information). Berlin: Springer. https://doi.org/10.1007/978-3-662-57669-4_18 [details]

    2018

    • Solaki, A. (2018). Rule-based reasoners in epistemic logic. Paper presented at 30th European Summer School in Logic, Language and Information, Sofia, Bulgaria.
    • Solaki, A. (Accepted/In press). A dynamic epistemic logic for resource-bounded agents.

    Membership

    • Solaki, A. (2019). PC member, International Conference for Philosophy of Science and Formal
      Methods in Philosophy, Gdansk.

    Talk / presentation

    • Solaki, A. (speaker) (2020). What do you believe your friends believe? Towards realistic belief attributions in multi-agent systems, 24th European Conference on Artificial Intelligence, Santiago de Compostela.
    • Solaki, A. (speaker) (2020). Bounded Multi-Agent Reasoning: Actualizing Distributed Knowledge, 3rd International Workshop on Dynamic Logic, DaLí 2020, Prague.
    • Solaki, A. (speaker) (19-10-2019). Towards a logical formalisation of Theory of Mind: a study on false belief tasks, 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, Chongqing.
    • Solaki, A. (speaker) (6-8-2018). Rule-based reasoners in epistemic logic, 30th European Summer School in Logic, Language and Information, Sofia.
    • Solaki, A. (speaker) (26-7-2018). The effort of reasoning:Modelling the inference steps of boundedly rational agents, 25th International Workshop of Logic, Language, Information, and Computation (2018), Bogota.
    • Solaki, A. (speaker) (20-6-2018). A dynamic epistemic logic for resource-bounded agents, Logica 2018, Hejnice.
    • Solaki, A. (speaker) (9-11-2017). Tracing the footprints to knowledge: logical systems for resource bounded reasoning, Logic in the Wild, Ghent.

    Others

    • Solaki, A. (participant) (18-10-2019 - 21-10-2019). 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, Chongqing (participating in a conference, workshop, ...).

    2021

    • Solaki, A. (2021). Logical models for bounded reasoners. Institute for Logic, Language and Computation. [details]
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    • No ancillary activities