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

Sotic, Bruno N., Kamps, J. (2025) University of Amsterdam at the CLEF 2025 Eloquent Track: Evaluating the Influence of Stylistic Prompt Variations on Semantic Interpretation.

In Faggioli, G. Ferro, N. Rosso, P. Spina, D. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025): Madrid, Spain, 9-12 September 2025 (pp 1435-1442) (CEUR Workshop Proceedings, Vol. 4038). CEUR-WS.

Sotic, Bruno N., Kamps, J. (2026) What Makes a User Click on a News Item? Understanding News Values of Visual Content in News Recommendation.

In Balke, Wolf-Tilo Golub, Koraljka Manolopoulos, Yannis Stefanidis, Kostas Zhang, Zheying (Eds.), Linking Theory and Practice of Digital Libraries: 29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, Tampere, Finland, September 23–26, 2025 : proceedings (pp 321-339) (Lecture Notes in Computer Science, Vol. 16097). Springer.

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) Instantaneous non-local computation of low T-depth quantum circuits.

In Broadbent, A. (Eds.), 11th Conference on the Theory of Quantum Computation, Communication and Cryptography: TQC 2016, September 27-29, 2016, Berlin, Germany (Leibniz International Proceedings in Informatics, Vol. 61). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

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

Thesis, fully internal | UvA-DARE

Spenader, J., Blutner, K.R. (2006) Compositionality and Systematicit.

In Bauma, G. Krämer, I. (Eds.), Cognitive Foundations of Interpretation. KNAW publications.

Spenader, J., Blutner, K.R. (2007) Compositionality and Systematicity.

In Zwarts, J. Bouma, G., Krämer, I. (Eds.), Cognitive Foundations of Interpretation (pp 163-174). KNAW.

Spenader, J., Zeevat, H., Gustafson-Capkova, S. (2001) Comparative and empirical discourse studies.

In Rieser, K. Zeevat, H. (Eds.), Proceedings of Bidialog. ZIF, Bielefeld

Spijker, L., Oomen, M. (2023) Hesitation Markers in Sign Language of the Netherlands A Corpus-Based Study.

Sign Language Studies, Vol. 23 (pp 164-196)

Article | https://doi.org/10.1353/sls.2023.0001 | UvA-DARE

Spijkervet, J., Burgoyne, J.A. (2021) Contrastive Learning of Musical Representations.

In Lee, J.H. Lerch, A. Duan, Z. Nam, J. Rao, P. Van Kranenburg, P. Srinivasamurthy, A. (Eds.), Proceedings: The 22nd International Society for Music Information Retrieval Conference: ISMIR 2021 : November 7-12, 2021 (online) (pp 673-681). ISMIR.

Spinaci, G., Colavizza, G., Peroni, S. (2020) Preliminary Results on Mapping Digital Humanities Research.

In Marras, C. Passarotti, M. Franzini, G. Litta, E. (Eds.), La svolta inevitabile: sfide e prospettive per l'Informatica Umanistica: Atti del IX Convegno Annuale dell'Associazione per l'Informatica Umanistica e la Cultura Digitale (AIUCD) : 15-17 gennaio 2020, Milano, Università Cattolica del Sacro Cuore (pp 246-252) (Quaderni di Umanistica Digitale. Supplement). Associazione per l'Informatica Umanistica e la Cultura Digitale.

Spinaci, G., Colavizza, G., Peroni, S. (2022) A map of Digital Humanities research across bibliographic data sources.

Digital Scholarship in the Humanities, Vol. 37 (pp 1254–1268)

Article | https://doi.org/10.1093/llc/fqac016 | UvA-DARE