Personal information

Emails & domains

Verified email domains

Websites & social links

Anthia Solaki

Other IDs

Scopus Author ID: 57202870381

Activities

Collapse all

Works (12)

A logical formalisation of false belief tasks

Journal of Applied Non-Classical Logics
2025-01-02 | Journal article
DOI: 10.1080/11663081.2024.2441634
Contributors: Anthia Solaki; Fernando R. Velázquez-Quesada
Source: check_circle
Crossref

Creative Decision-Making in Multi-Domain Operations

29th International Command and Control Research and Technology Symposium
2024-09-25 | Conference paper
Contributors: Anthia Solaki; Jose Kerstholt; Maaike Roelofs
Source: Self-asserted source
Anthia Solaki

Actualizing distributed knowledge in bounded groups

Journal of Logic and Computation
2023 | Journal article
DOI: 10.1093/logcom/exac007
EID:

2-s2.0-85180404755

Part of ISSN: 1465363X 0955792X
Contributors: Solaki, A.
Source: Self-asserted source
Anthia Solaki via Scopus - Elsevier
grade
Preferred source (of 2)‎

The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents

Journal of Logic, Language and Information
2022 | Journal article
DOI: 10.1007/s10849-022-09367-w
EID:

2-s2.0-85129473051

Part of ISSN: 15729583 09258531
Contributors: Solaki, A.
Source: Self-asserted source
Anthia Solaki via Scopus - Elsevier
grade
Preferred source (of 2)‎

The Logic of Fast and Slow Thinking

Erkenntnis
2021 | Journal article
DOI: 10.1007/s10670-019-00128-z
EID:

2-s2.0-85066779113

Part of ISSN: 15728420 01650106
Contributors: Solaki, A.; Berto, F.; Smets, S.
Source: Self-asserted source
Anthia Solaki via Scopus - Elsevier

Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Conference paper
DOI: 10.1007/978-3-030-65840-3_15
EID:

2-s2.0-85098287877

Part of ISBN: 9783030658397
Part of ISSN: 16113349 03029743
Contributors: Solaki, A.
Source: Self-asserted source
Anthia Solaki via Scopus - Elsevier

What do you believe your friends believe? Towards realistic belief attributions in multi-agent systems

NETREASON workshop, 24th European Conference on Artificial Intelligence
2020 | Conference paper
Contributors: Solaki, Anthia; Velázquez-Quesada, Fernando R
Source: Self-asserted source
Anthia Solaki

Rule-Based Reasoners in Epistemic Logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Conference paper
DOI: 10.1007/978-3-662-59620-3_9
EID:

2-s2.0-85070599556

Part of ISBN: 9783662596197
Part of ISSN: 16113349 03029743
Contributors: Solaki, A.
Source: Self-asserted source
Anthia Solaki via Scopus - Elsevier

Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Conference paper
DOI: 10.1007/978-3-662-60292-8_22
EID:

2-s2.0-85075662443

Part of ISBN: 9783662602911
Part of ISSN: 16113349 03029743
Contributors: Solaki, A.; Velázquez-Quesada, F.R.
Source: Self-asserted source
Anthia Solaki via Scopus - Elsevier

A Dynamic Epistemic Logic for Resource-Bounded Agents

2019-05 | Conference paper
Contributors: Solaki, Anthia
Source: Self-asserted source
Anthia Solaki

The effort of reasoning: Modelling the inference steps of boundedly rational agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Conference paper
DOI: 10.1007/978-3-662-57669-4_18
EID:

2-s2.0-85049628565

Part of ISBN: 9783662576687
Part of ISSN: 16113349 03029743
Contributors: Smets, S.; Solaki, A.
Source: Self-asserted source
Anthia Solaki via Scopus - Elsevier

Logic of closeness revision: Challenging relations in social networks

Proceedings of the ESSLLI
2016 | Conference paper
Contributors: Solaki, A; Terzopoulou, Z; Zhao, B
Source: Self-asserted source
Anthia Solaki
How many people are using ORCID?