Smid, Jeroen (2023) The Aleph and Other Alleged Mereological Curiosities.

Australasian Journal of Philosophy, Vol. 101 (pp 564-574)

Article | https://doi.org/10.1080/00048402.2022.2043400 | UvA-DARE

Smid, Jeroen (2023) Plenty of Room for Multilocation.

Erkenntnis, Vol. 88 (pp 2365–2378)

Article | https://doi.org/10.1007/s10670-021-00456-z | UvA-DARE

Smit, E.A., Sadakata, M. (2018) The effect of handedness on spatial and motor representation of pitch patterns in pianists.

PLoS ONE, Vol. 13

Article | https://doi.org/10.1371/journal.pone.0195831 | UvA-DARE

Smith, L.M., Honing, H. (2006) Evaluating and extending computational models of rhythmic syncopation in music.

Proceedings of the International Computer Music Conference, Vol. 2006 (pp 688-691)

Article | UvA-DARE

Smith, L.M., Honing, H. (2007) Evaluation of multiresolution representations of musical rhythm.

In Schubert, E. Buckley, K. Eliott, R. Koboroff, B. Chen, J. Stevens, C. (Eds.), Proceedings of the International Conference on Music Communication Science. MARCS.

Smith, L.M., Honing, H. (2008) Time-frequency representation of musical rhythm by continuous wavelets.

Journal of Mathematics and Music, Vol. 2 (pp 81-97)

Article | https://doi.org/10.1080/17459730802305336 | UvA-DARE

Smith, L.M., Honing, H. (2008) A multiresolution model of rhythmic expectancy.

In Miyazaki, K. Hiraga, Y. Adachi, M. Nakajima, Y. Tsuzaki, M. (Eds.), Proceedings of the 10th International Conference on Music Perception and Cognition (ICMPC 10), Sapporo, Japan (pp 360-365). Hokkaido University.

Smolin, J.A., Smith, G., Wehner, S.D.C. (2007) A simple family of non-additive quantum codes.

Physical Review Letters, Vol. 99 (pp 130505-4)

Article | UvA-DARE

Soares Barbosa, L., Baltag, A. (2020) Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings.

Lecture Notes in Computer Science, Vol. 12005. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-030-38808-9 | UvA-DARE

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