uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Solaiman, Irene, Talat, Zeerak, Agnew, William, Ahmad, Lama, Baker, Dylan K., Blodgett, Su Lin, Chen, Canyu, Daume III, Hal, Dodge, Jesse, Duan, Isabelle, Evans, Ellie, Friedrich, Felix, Ghosh, Avijit, Gohar, Usman, Hooker, Sara, Jernite, Yacine, Kalluri, Pratyusha 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, Vassilev, Apostol (2025) Evaluating the Social Impact of Generative AI Systems.
    In The Oxford Handbook of the Foundations and Regulation of Generative AI. Oxford University Press.
  • Solaki, A., Berto, F., Smets, S. (2021) The Logic of Fast and Slow Thinking.
    Erkenntnis, Vol. 86 (pp 733–762)
  • 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.
  • 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)
  • 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.
    Conference contribution | http://ceur-ws.org/Vol-627/lrba_4.pdf | UvA-DARE
  • 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)
  • 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)
  • Spalek, R., Szegedy, M. (2005) All Quantum Adversary Methods are Equivalent.
    Lecture Notes in Computer Science, Vol. 3580 (pp 1299-1311)
  • 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.
1 ... 246 247 248 249 250 251 252 253 254 ... 334

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact