Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

A. (Anthi) Solaki MSc

Faculteit der Geesteswetenschappen
Logic and Language

Bezoekadres
  • Science Park 904
Postadres
  • Postbus 94201
    1090 GE Amsterdam
Contactgegevens
  • Publicaties

    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.

    Lidmaatschap

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

    Spreker

    • 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.

    Andere

    • 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.
  • Nevenwerkzaamheden
    • Geen nevenwerkzaamheden