Soeteman, A., Gutierrez, D., Bruni, E., Shutova, E. (2020) Modelling form-meaning systematicity with linguistic and visual features.

In AAAI-20, IAAI-20, EAAI-20 proceedings: Thirty-Fourth AAAI Conference on Artificial Intelligence, Thirty-Second Conference on Innovative Applications of Artificial Intelligence, The Tenth Symposium on Educational Advances in Artificial Intelligence : February 7–12th, 2020, New York Hilton Midto (pp 8870-8877) (Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 34). AAAI Press.

Soeteman, A., van Lambalgen, M. (2024) Spatial unity for the apperception engine.

International Journal of Approximate Reasoning, Vol. 165

Article | https://doi.org/10.1016/j.ijar.2023.109106 | UvA-DARE

Solaiman, Irene, Talat, Zeerak, Agnew, William, Ahmad, Lama, Baker, Dylan, Blodgett, Su Lin, Chen, Canyu, Daume, Hal, Dodge, Jesse, Duan, Isabella, Evans, Ellie, Friedrich, Felix, Ghosh, Avijit, Gohar, Usman, Hooker, Sara, Jernite, Yacine, Kalluri, Ria, Lusoli, Alberto, Leidinger, A.J., Lin, Michelle, Lin, Xiuzhu, Luccioni, Sasha, Mickel, Jennifer, Mitchell, Margaret, Newman, Jessica, Ovalle, Anaelia, Png, Marie-Therese, Singh, Shubham, Strait, Andrew, Struppek, Lukas, Subramonian, Arjun (2024) Evaluating the Social Impact of Generative AI Systems in Systems and Society.

In The Oxford Handbook of the Foundations and Regulation of Generative AI (Oxford Handbooks). Oxford University Press.

Solaki, A., Berto, F., Smets, S. (2021) The Logic of Fast and Slow Thinking.

Erkenntnis, Vol. 86 (pp 733–762)

Article | https://doi.org/10.1007/s10670-019-00128-z | UvA-DARE

Solaki, A., Velázquez-Quesada, F.R. (2019) Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks.

In Blackburn, P. Lorini, E. Guo, M. (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
FoLLI Publications on Logic, Language and Information, Vol. 11813). Springer.

Solaki, A. (2018) Rule-based reasoners in epistemic logic.

Paper | UvA-DARE

Solaki, A. (2018) A dynamic epistemic logic for resource-bounded agents.

Paper | https://eprints.illc.uva.nl/id/eprint/1713/ | UvA-DARE

Solaki, A. (2019) A Dynamic Epistemic Logic for Resource-Bounded Agents.

In Sedlár, I. Blicha, M. (Eds.), The Logica Yearbook 2018 (pp 229-244). College Publications.

Solaki, A. (2020) Bounded Multi-agent Reasoning: Actualizing Distributed Knowledge.

In Martins, M.A. Sedlár, I. (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.

Solaki, A. (2021) Logical models for bounded reasoners.

ILLC dissertation series. Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Solaki, A. (2022) The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.

Journal of Logic, Language and Information, Vol. 31 (pp 529-553)

Article | https://doi.org/10.1007/s10849-022-09367-w | UvA-DARE

Soler-Toscano, F., Velázquez-Quesada, F.R. (2010) Abduction for (non-omniscient) agents.

In Boissier, O. El Fallah Seghrouchni, A. Hassas, S. Maudet, N. (Eds.), Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010): Lyon, France, August 30 - September 2, 2010 (pp 51-64) (CEUR Workshop Proceedings, Vol. 627). CEUR-WS.

Sorbi, A., Terwijn, S.A. (2008) Intermediate logics and factors of the Medvedev lattice.

Annals of Pure and Applied Logic, Vol. 155 (pp 69-85)

Article | https://doi.org/10.1016/j.apal.2008.03.002 | UvA-DARE

Sotáková, J. (2024) Isogenies and cryptography.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Sourabh, S. (2015) Correspondence and canonicity in non-classical logic.

Thesis, fully internal | UvA-DARE

Spada, L. (2013) Geometrical dualities for Łukasiewicz logic.

Bollettino della Unione Matematica Italiana, Vol. 9/6 (pp 749-763)

Article | http://logica.dmi.unisa.it/lucaspada/wp-content/uploads/duality-UMI-revised.pdf | UvA-DARE

Spalek, R., Szegedy, M. (2005) All Quantum Adversary Methods are Equivalent.

Lecture Notes in Computer Science, Vol. 3580 (pp 1299-1311)

Article | http://www.springerlink.com/content/5ae875yw8nvwv8gk/ | UvA-DARE

Spalek, R., Szegedy, M. (2006) All Quantum Adversary Methods are Equivalent.

Theory of Computing, Vol. 2 (pp 1-18)

Article | UvA-DARE

Spalek, R. (2006) Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs.

ILLC.

Thesis, fully internal | UvA-DARE

Speelman, F. (2016) Position-based quantum cryptography and catalytic computation.

Thesis, fully internal | UvA-DARE