Sevenster, M., Tsarfaty, R. (2005) ILLC Magazine 7.

ILLC Magazine

Article | 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., 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) Finite model theory for partially ordered connectives.

PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Sevenster, M., Tulenheimo, T.E. (2006) Approaches to Independence Friendly Modal Logic.

PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

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

Lecture Notes in Computer Science, Vol. 3988 (pp 516-525)

Article | https://doi.org/10.1007/11780342_52 | UvA-DARE

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) 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. (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) Battleships as decision problem.

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

Article | UvA-DARE

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

Unknown Publisher.

Report | UvA-DARE

Sevenster, M. (2006) On the computational consequences of independence in propositional logic.

Synthese, Vol. 149 (pp 257-283)

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