-
Seginer, Y. (2007) Fast unsupervised incremental parsing.In Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics (pp 384-391). Association for Computational Linguistics.Conference contribution | UvA-DARESeifan, F. (2024) Coalgebraic fixpoint logic: Expressivity and completeness results.ILLC Dissertation seriesThesis, fully internal | UvA-DARESemmes, B.T. (2007) Multitape games.In D. Gabbay J. van Benthem, B. Löwe (Eds.), Interactive Logic, selected papers from the 7th Augustus de Morgan Workshop, London (pp 195-207). Amsterdam University Press.Conference contribution | UvA-DARESemmes, B.T. (2009) A game for the Borel functions.Institute for Logic, Language and Computation.Thesis, fully internal | UvA-DAREŞenalp, Ö., Midgley, G. (2023) Alexander Bogdanov and the question of unity: An emerging research agenda.Systems Research and Behavioral Science, Vol. 40 (pp 328-348)Article | https://doi.org/10.1002/sres.2923 | UvA-DARESerdyukov, P., Braslavski, P., Kamps, J. (2013) ECIR 2013: 35th European Conference on Information Retrieval.SIGIR Forum, Vol. 47 (pp 41-57)Article | https://doi.org/10.1145/2568388.2568395 | UvA-DARESerdyukov, P., Braslavski, P., Kuznetsov, S.O., Kamps, J., Rüger, S., Agichtein, E., Segalovich, I., Yilmaz, E. (2013) Advances in information retrieval: 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013: proceedings.Lecture notes in computer science, Vol. 7814. Springer.Book (Editorship) | https://doi.org/10.1007/978-3-642-36973-5 | UvA-DARESevenster, M., Tsarfaty, R. (2005) ILLC Magazine 7.ILLC MagazineArticle | UvA-DARESevenster, 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.Conference contribution | UvA-DARESevenster, 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-DARESevenster, M., Tulenheimo, T.E. (2006) Finite model theory for partially ordered connectives.PP. Institute for Logic, Language and Computation.Working paper | UvA-DARESevenster, M., Tulenheimo, T.E. (2006) Approaches to Independence Friendly Modal Logic.PP. Institute for Logic, Language and Computation.Working paper | UvA-DARESevenster, 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-DARESevenster, 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-DARESevenster, M. (2004) Signalling games and non-literal meaning.Poster | UvA-DARESevenster, 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.Conference contribution | UvA-DARESevenster, 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.Conference contribution | UvA-DARESevenster, M. (2004) Battleships as decision problem.ICGA Journal, Vol. 27 (pp 142-149)Article | UvA-DARESevenster, M. (2005) A computational universal for generalized quantifiers in natural language.Unknown Publisher.Report | UvA-DARESevenster, M. (2006) On the computational consequences of independence in propositional logic.Synthese, Vol. 149 (pp 257-283)Article | UvA-DARE
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 illc at uva.nl
