Sevenster, M., Tulenheimo, T.E. (2006) Partially ordered connectives and Sigma-1-1 on finite models.

PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Sevenster, M., Tulenheimo, T.E. (2006) On Modal Logic, IF Logic, and IF Modal Logic.

In Governatori, G. Hodkinson, I. Venema, Y. (Eds.), Proceedings of AiML 6 (pp 481-501). College Publications.

Sevenster, M., van Benthem, J.F.A.K., de Jager, S.T., Liu, F., Roy, O. (2005) Games at the Institute for Logic, Language and Computation.

BNVKI Newsletter, Vol. October (pp 101-104)

Article | UvA-DARE

Sevenster, M. (2004) Signalling games and non-literal meaning.

Poster | UvA-DARE

Sevenster, M. (2004) Battleships as decision problem.

ICGA Journal, Vol. 27 (pp 142-149)

Article | UvA-DARE

Sevenster, M. (2004) Signaling games and non-literal meaning.

In Egre, P. Alonso i Alemany, L. (Eds.), Proceedings of the 16th European Summer School in Logic, language and Information (pp 234-244). ESSLI.

Sevenster, M. (2004) Complexity results for an independent friendly propositional Logic.

In van Otterloo, S. McBurney, P. van der Hoek, W. Wooldridge, M. (Eds.), Proceedings of the Knowledge and games Workshop (pp 23-33). University of Liverpool.

Sevenster, M. (2005) A computational universal for generalized quantifiers in natural language.

Unknown Publisher.

Report | 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) 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) The complexity of Scotland Yard.

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) On the computational consequences of independence in propositional logic.

Synthese, Vol. 149 (pp 257-283)

Article | 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) 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.

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.

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.

Shanahan, Daniel, Burgoyne, J.A., Quinn, Ian (2022) The Oxford Handbook of Music and Corpus Studies.

Oxford University Press.

Book (Editorship) | https://doi.org/10.1093/oxfordhb/9780190945442.001.0001 | UvA-DARE

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.