uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Sevenster, M. (2006) Henkin quantifiers: logic, games, and computation.
    Bulletin of the European Association for Theoretical Computer Science, Vol. 89 (pp 136-155)
    Article | UvA-DARE
  • Sevenster, M. (2006) Henkin quantifiers: logic, games, and computation.
    PP. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Sevenster, M. (2006) Branches of imperfect information : logic, games, and computation.
    ILLC.
    Thesis, fully internal | UvA-DARE
  • Sevenster, M. (2006) The complexity of Scotland Yard.
    PP. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Shahshahani, M.S., Kamps, J., Marx, M. (2019) University of Amsterdam at TREC 2019: Complex Answer Retrieval Track.
    In Voorhees, E.M. Ellis, A. (Eds.), The Twenty-Eighth Text REtrieval Conference (TREC 2019) Proceedings (NIST Special Publication). National Institute of Standards and Technology.
  • Shahshahani, M.S., Kamps, J. (2020) Argument Retrieval from Web.
    In Arampatzis, A. Kanoulas, E. Tsikrika, T. Vrochidis, S. Joho, H. Lioma, C. Eickhoff, C. Névéol, A. Cappellato, L. Ferro, N. (Eds.), Experimental IR Meets Multilinguality, Multimodality, and Interaction: 11th International Conference of the CLEF Association, CLEF 2020, Thessaloniki, Greece, September 22–25, 2020 : proceedings (pp 75-81) (Lecture Notes in Computer Science, Vol. 12260). Springer.
  • Shahshahani, M.S., Kamps, J. (2020) University of Amsterdam at CLEF 2020: Notebook for the Touché Lab on Argument Retrieval at CLEF 2020.
    In Cappellato, L. Eickhoff, C. Ferro, N. Névéol, A. (Eds.), Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum: Thessaloniki, Greece, September 22-25, 2020 (CEUR Workshop Proceedings, Vol. 2696). CEUR-WS.
  • Shan, C., ten Cate, B. (2002) The Partition Semantics of Questions, Syntactically..
    In Nissim, M. (Eds.), Proceedings of the ESSLLI-2002 student session (pp 255-269). Kluwer Academic.
    Conference contribution | UvA-DARE
  • Shanahan, Daniel, Burgoyne, J.A., Quinn, Ian (2022) The Oxford Handbook of Music and Corpus Studies.
    Oxford University Press.
  • Shekhar, R., Baumgärtner, T., Venkatesh, A., Bruni, E., Bernardi, R., Fernández, R. (2018) Ask No More: Deciding when to guess in referential visual dialogue.
    In Bender, E.M. Derczynski, L. Isabelle, P. (Eds.), The 27th International Conference on Computational Linguistics: COLING 2018 : proceedings of the conference : August 20-26, 2018, Santa Fe, New Mexico, USA (pp 1218-1233). Association for Computational Linguistics.
  • Shekhar, R., Takmaz, E., Fernández, R., Bernardi, R. (2019) Evaluating the Representational Hub of Language and Vision Models.
    In Dobnik, S. Chatzikyriakidis, S. Demberg, V. (Eds.), Proceedings of the 13th International Conference on Computational Semantics - Long Papers: IWCS 2019 : 23-27 May, 2019, University of Gothenburg, Gothenburg, Sweden (pp 211-222). The Association for Computational Linguistics.
    Conference contribution | https://doi.org/10.18653/v1/W19-0418 | UvA-DARE
  • Shekhar, R., Venkatesh, A., Baumgärtner, T., Bruni, E., Plank, B., Bernardi, R., Fernández, R. (2019) Beyond Task Success: A Closer Look at Jointly Learning to See, Ask, and GuessWhat.
    In Burstein, J. Doran, C. Solorio, T. (Eds.), The 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: NAACL HLT 2019 : proceedings of the conference : June 2-June 7, 2019 (pp 2578-2587). The Association for Computational Linguistics.
    Conference contribution | https://doi.org/10.18653/v1/N19-1265 | UvA-DARE
  • Shelah, S., Väänänen, J., Veličković, B. (2015) Positional strategies in long Ehrenfeucht-Fraïssé games.
    Journal of Symbolic Logic, Vol. 80 (pp 285-300)
  • Shelah, S., Väänänen, J. (2023) Positive logics.
    Archive for Mathematical Logic, Vol. 62 (pp 207-223)
  • Sheppard, D.P., Bruineberg, J.P., Kretschmer-Trendowicz, A., Altgassen, M. (2018) Prospective memory in autism: theory and literature review.
    Clinical Neuropsychologist, Vol. 32 (pp 748-782)
  • Shi, C., Roy, O. (2017) Reason to believe.
    In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 676-680) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.
  • Shi, C., Smets, S., Velázquez-Quesada, F.R. (2017) Argument-based belief in topological structures.
    Electronic Proceedings in Theoretical Computer Science, Vol. 251 (pp 489-503)
  • Shi, C., Smets, S., Velázquez-Quesada, F.R. (2018) Beliefs Based on Evidence and Argumentation.
    In Moss, L.S. de Queiroz, R. Martinez, M. (Eds.), Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings (pp 289-306) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 10944). Springer.
  • Shi, C., Smets, S., Velázquez-Quesada, F.R. (2018) Beliefs supported by binary arguments.
    Journal of Applied Non-Classical Logics, Vol. 28 (pp 165-188)
  • Shi, C., Smets, S., Velázquez-Quesada, F.R. (2023) Logic of Justified Beliefs Based on Argumentation.
    Erkenntnis, Vol. 88 (pp 1207–1243)
1 ... 223 224 225 226 227 228 229 230 231 ... 311

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