For best experience please turn on javascript and use a modern browser!
NL

dr. J.K. (Jakub) Szymanik

Faculty of Humanities
Capaciteitsgroep Taalwetenschap

Visiting address
  • Spuistraat 134
Postal address
  • Postbus 1642
    1000 BP Amsterdam
Contact details
  • Research

    About

    I am a tenured sssociate professor in the Institute for Logic, Language and Computation. I am affiliated with the Department of Linguistics and the Research Priority Area Brain & Cognition. I am also a principal investigator in Cognitive Semantics and Quantities project funded by the European Research Council and Language in Interaction project funded by NWO. I am leading Logic, Language, and Cognition Research Group. Please visit my personal website for more information.

    Logic, Language, and Cognition Research Group

    Broadly speaking the research group is interested in logic, linguistics, cognitive science, complexity theory, philosophy, and any combination of these. We specialize in natural language semantics, esp. generalized quantifiers and reasoning. We aim to integrate formal models with cognitive insights in order to obtain theories which are both explanatory and psychologically plausible. We pay special attention to how various formal measures of complexity can help us to understand difficulty of core cognitive abilities, like language comprehension or reasoning. Our approach is characterized by mixture of formal (logic, computational modeling, simulations) and empirical (neurobehavioral experiments, corpus linguistics) methods.

    Lab Meetings

    If you are interested in our most current project and would like to join lab meetings please visit my personal website.

  • Publications

    2018

    • Pezzelle, S., Steinert Threlkeld, S. N. M., Bernardi, R., & Szymanik, J. K. (2018). Some of Them Can be Guessed! Exploring the Effect of Linguistic Context in Predicting Quantifiers. In Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics Association for Computational Linguistics (ACL).
    • Sippel, J., & Szymanik, J. (2018). Monotonicity and the Complexity of Reasoning with Quantifiers. In 40th Annual Meeting of the Cognitive Science Society (CogSci 2018): Changing/Minds : Madison, Wisconsin, USA, 25 - 28 July 2018 (Vol. 1, pp. 1074-1079). Austin: Cognitive Science Society. [details]
    • Steinert Threlkeld, S. N. M., & Szymanik, J. K. (Accepted/In press). Learnability and Semantic Universals. Semantics and Pragmatics.
    • Szymanik, J. K., & Verbrugge, R. (2018). Tractability and the computational mind. In The Routledge Handbook of the Computational Mind (Routledge Handbooks in Philosophy).
    • Zhao, B., van de Pol, I., Raijmakers, M., & Szymanik, J. (2018). Predicting Cognitive Difficulty of the Deductive Mastermind Game with Dynamic Epistemic Logic Models. In 40th Annual Meeting of the Cognitive Science Society (CogSci 2018): Changing/Minds : Madison, Wisconsin, USA, 25 - 28 July 2018 (Vol. 1, pp. 2789-2794). Austin: Cognitive Science Society. [details]
    • van de Pol, I., van Rooij, I., & Szymanik, J. (2018). Parameterized complexity of theory of mind reasoning in dynamic epistemic logic. Journal of Logic, Language and Information, 27(3), 255-294. https://doi.org/10.1007/s10849-018-9268-4 [details]

    2017

    • Szymanik, J., & Thorne, C. (2017). Exploring the relation between semantic complexity and quantifier distribution in large corpora. Language Sciences, 60, 80–93. https://doi.org/10.1016/j.langsci.2017.01.006 [details]
    • Talmina, N., Kochari, A., & Szymanik, J. (2017). Quantifiers and verification strategies: connecting the dots. In A. Cremers, T. van Gessel, & F. Roelofsen (Eds.), Proceedings of the 21st Amsterdam Colloquium (pp. 465-473). Amsterdam: ILLC. [details]

    2016

    2015

    • Munneke, G. J., & Szymanik, J. K. (2015). A non-monotonic extension of universal moral grammar theory. In Proceedings of the 37th Annual Conference of the Cognitive Science Society Cognitive Science Society.
    • Steinert-Threlkeld, S., Munneke, G. J., & Szymanik, J. (2015). Alternative representations in formal semantics: A case study of quantifiers. In T. Brochhagen, F. Roelofsen, & N. Theiler (Eds.), Proceedings of the 20th Amsterdam Colloquium (pp. 368-377). Amsterdam: Institute for Logic, Language and Computation, University of Amsterdam. [details]
    • Thorne, C., & Szymanik, J. K. (2015). Semantic complexity of quantifiers and their distribution in corpora. In Proceedings of the11th International Conference on Computational Semantics Association for Computational Linguistics (ACL).
    • Zhai, F., Szymanik, J., & Titov, I. (2015). Toward probabilistic natural logic for syllogistic reasoning. In T. Brochhagen, F. Roelofsen, & N. Theiler (Eds.), Proceedings of the 20th Amsterdam Colloquium (pp. 468-477). Amsterdam: Institute for Logic, Language and Computation, University of Amsterdam. [details]
    • de Haan, R., & Szymanik, J. (2015). A dichotomy result for Ramsey quantifiers. In V. de Paiva, R. de Queiroz, L. S. Moss, D. Leivant, & A. G. de Oliveira (Eds.), Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings (pp. 69-80). (Lecture Notes in Computer Science; Vol. 9160), (FoLLI Publications on Logic, Language and Information). Heidelberg: Springer. https://doi.org/10.1007/978-3-662-47709-0_6 [details]
    • van de Pol, I., van Rooij, I., & Szymanik, J. (2015). Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic. In R. Ramanujam (Ed.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge: TARK 2015 (pp. 239-248). Chennai: The Institute of Mathematical Sciences.
    • van de Pol, I., van Rooij, I., & Szymanik, J. K. (2015). Parametrized complexity results for a model of Theory of Mind based on Dynamic Epistemic Logic. In Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge

    2014

    • Bergwerff, G., Meijering, B., Szymanik, J., Verbrugge, R., & Wierda, S. (2014). Computational and algorithmic models of strategies in turn-based games. In CogSci 2014: Cognitive science meets artificial intelligence: human and artificial agents in interactive contexts : 36th annual cognitive science conference : Quebec City, Canada, July 23-26 (pp. 1778-1783). Cognitive Science Society. [details]
    • Dotlacil, J., Szymanik, J., & Zajenkowski, M. (2014). Probabilistic semantic automata in the verification of quantified statements. In CogSci 2014: Cognitive science meets artificial intelligence: human and artificial agents in interactive contexts : 36th annual cognitive science conference : Quebec City, Canada, July 23-26 (pp. 2967-2972). Cognitive Science Society. [details]
    • Dégremont, C., Kurzen, L., & Szymanik, J. (2014). Exploring the tractability border in epistemic tasks. Synthese, 191(3), 371-408. https://doi.org/10.1007/s11229-012-0215-7 [details]
    • Isaac, A. M. C., Szymanik, J., & Verbrugge, R. (2014). Logic and complexity in cognitive science. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. 787-824). (Outstanding contributions to logic; Vol. 5). Cham: Springer. https://doi.org/10.1007/978-3-319-06025-5_30 [details]
    • Kontinen, J., & Szymanik, J. (2014). A characterization of definability of second-order generalized quantifiers with applications to non-definability. Journal of Computer and System Sciences, 80(6), 1152-1162. https://doi.org/10.1016/j.jcss.2014.04.007 [details]
    • Robaldo, L., Szymanik, J., & Meijering, B. (2014). On the Identification of Quantifiers’ Witness Sets: A Study of Multi-quantifier Sentences. Journal of Logic, Language and Information, 23(1), 53-81. https://doi.org/10.1007/s10849-014-9197-9 [details]
    • Zajenkowski, M., Szymanik, J., & Garraffa, M. (2014). Working Memory Mechanism in Proportional Quantifier Verification. Journal of Psycholinguistic Research, 43(6), 839-853. https://doi.org/10.1007/s10936-013-9281-3 [details]

    2013

    • Szymanik, J. (2013). Backward Induction is PTIME-complete. In D. Grossi, O. Roy, & H. Huang (Eds.), Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings (pp. 352-356). (Lecture Notes in Computer Science; Vol. 8196), (FoLLI Publications on Logic, Language and Information). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-40948-6_32 [details]
    • Szymanik, J. K., & Zajenkowski, M. (2013). Monotonicity has only a relative effect on the complexity of quantifier verification. In Proceedings of the 19th Amsterdam Colloquium (pp. 219-225). Amsterdam: ILLC, University of Amsterdam.
    • Szymanik, J. K., Steinert-Threlkeld, S., Zajenkowski, M., & Icard, T. (2013). Automata and Complexity in Multiple-Quantifier Sentence Verification. In Proceedings of the 12th International Conference on Cognitive Modeling
    • Szymanik, J., & Verbrugge, R. (2013). Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop. Journal of Logic, Language and Information, 22(4), 357-362. https://doi.org/10.1007/s10849-013-9186-4 [details]
    • Szymanik, J., Meijering, B., & Verbrugge, R. (2013). Using intrinsic complexity of turn-taking games to predict participants' reaction times. In M. Knauff, M. Pauen, N. Sebanz, & I. Wachsmuth (Eds.), Cooperative minds: social interaction and group dynamics: proceedings of the 35th Annual Meeting of the Cognitive Science Society: Berlin, Germany, July 31-August 3, 2013 (pp. 1426-1431). Austin, TX: Cognitive Science Society.
    • Zajenkowski, M., & Szymanik, J. (2013). MOST intelligent people are accurate and SOME fast people are intelligent: Intelligence, working memory, and semantic processing of quantifiers from a computational perspective. Intelligence, 41(5), 456-466. https://doi.org/10.1016/j.intell.2013.06.020 [details]

    2012

    • Mostowski, M., & Szymanik, J. (2012). Semantic bounds for everyday language. Semiotica, 188, 323-332. https://doi.org/10.1515/sem-2012-0022 [details]
    • Robaldo, L., & Szymanik, J. (2012). Pragmatic Identification of the Witness Sets. In N. Calzolari, K. Choukri, T. Declerck, M. Uğur Doğan, B. Maegaard, J. Mariani, J. Odijk, ... S. Piperidis (Eds.), Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC'12): 23-25 May, 2012, Istanbul, Turkey (pp. 81-87). Paris: European Language Resources Association (ELRA). [details]

    2011

    • Bott, O., Schlotterbeck, F., & Szymanik, J. K. (2011). Interpreting tractable versus intractable reciprocal sentences. In J. Bos, & S. Pulman (Eds.), Proceedings of the International Conference on Computational Semantics 9 (pp. 75 - 84). Oxford, UK.
    • Dégremont, C., Kurzen, L., & Szymanik, J. (2011). On the tractability of comparing informational structures. CEUR Workshop Proceedings, 751, 50-64. [details]
    • Gierasimczuk, N., & Szymanik, J. (2011). Invariance properties of quantifiers and multiagent information exchange. In M. Kanazawa, A. Kornai, M. Kracht, & H. Seki (Eds.), The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings (pp. 72-89). (Lecture Notes in Computer Science; Vol. 6878), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-23211-4_5 [details]
    • Gierasimczuk, N., & Szymanik, J. K. (2011). A note on a generalization of the Muddy Children Puzzle. In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge ACM Digital Library.
    • Kontinen, J., & Szymanik, J. (2011). Characterizing definability of second-order generalized quantifiers. In L. D. Beklemishev, & R. de Queiroz (Eds.), Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011 : proceedings (pp. 187-200). (Lecture Notes in Computer Science ; Vol. 6642), (Lecture Notes in Artificial Intelligence ), (FoLLI Publications on Logic, Language and Information). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-20920-8_20 [details]
    • Szymanik, J. K., & Zajenkowski, M. (2011). Contribution of working memory in the parity and proportional judgments. Belgian Journal of Linguistics, 25(1), 176-194. https://doi.org/10.1075/bjl.25.08szy [details]
    • Zajenkowski, M., Styla, R., & Szymanik, J. (2011). A computational approach to quantifiers as an explanation for some language impairments in schizophrenia. Journal of Communication Disorder, 44(6), 595-600. https://doi.org/10.1016/j.jcomdis.2011.07.005 [details]
    • van Rooij, I., Kwisthout, J., Blokpoel, M., Szymanik, J., Wareham, T., & Toni, I. (2011). Intentional communication: computationally easy or difficult? Frontiers in Human Neuroscience, 5, [52]. https://doi.org/10.3389/fnhum.2011.00052 [details]

    2010

    • Isaac, A., & Szymanik, J. (2010). Logic and cognitive science: bridging the gap between symbolic and connectionist paradigms. Journal of Indian Council of Philosophical Research, 27(2), 279-309. [details]
    • Szymanik, J. (2010). Almost all complex quantifiers are simple. In C. Ebert, G. Jäger, & J. Michaelis (Eds.), The Mathematics of Language: 10th and 11th Biennial Conference MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, 2009 : revised selected papers (pp. 272-280). (Lecture Notes in Computer Science; Vol. 6149), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Berlin: Springer. https://doi.org/10.1007/978-3-642-14322-9_21 [details]
    • Szymanik, J. (2010). Computational complexity of polyadic lifts of generalized quantifiers in natural language. Linguistics and Philosophy, 33(3), 215-250. https://doi.org/10.1007/s10988-010-9076-z [details]
    • Szymanik, J., & Zajenkowski, M. (2010). Comprehension of simple quantifiers: empirical evaluation of a computational model. Cognitive Science, 34(3), 521-532. https://doi.org/10.1111/j.1551-6709.2009.01078.x [details]
    • Szymanik, J., & Zajenkowski, M. (2010). Quantifiers and working memory. In M. Aloni, H. Bastiaanse, T. de Jager, & K. Schulz (Eds.), Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009 : revised selected papers (pp. 456-464). (Lecture Notes in Computer Science; Vol. 6042), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Berlin: Springer. https://doi.org/10.1007/978-3-642-14287-1_46 [details]

    2009

    • Gierasimczuk, N., & Szymanik, J. (2009). Branching quantification v. two-way quantification. Journal of Semantics, 26(4), 367-392. https://doi.org/10.1093/jos/ffp008 [details]
    • Szymanik, J. (2009). The computational complexity of quantified reciprocals. In P. Bosch, D. Gabelaia, & J. Lang (Eds.), Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers (pp. 139-152). (Lecture Notes in Computer Science; Vol. 5422), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Berlin: Springer. https://doi.org/10.1007/978-3-642-00665-4_12 [details]
    • Szymanik, J., & Zajenkowski, M. (2009). Improving methodology of quantifier comprehension experiments. Neuropsychologia, 47(12), 2682-2683. https://doi.org/10.1016/j.neuropsychologia.2009.04.004 [details]
    • Szymanik, J., & Zajenkowski, M. (2009). Quantifiers and working memory. In Seventeenth Amsterdam Colloquium, December 16-18, 2009: pre-proceedings (pp. 435-444). Amsterdam: ILLC, University of Amsterdam. [details]
    • Szymanik, J., & Zajenkowski, M. (2009). Understanding quantifiers in language. In N. Taatgen, & H. van Rijn (Eds.), Proceedings of the Thirty-First Annual Conference of the Cognitive Science Society (pp. 1109-1114). Austin, TX: Cognitive Science Society. [details]

    2008

    2007

    • Szymanik, J. (2007). A Note on some Neuroimaging Study of Natural Language Quantifiers Comprehension. Neuropsychologia, 45(9), 2158-2160. https://doi.org/10.1016/j.neuropsychologia.2007.01.016 [details]
    • Szymanik, J. (2007). Computational semantics for monadic quantifiers in natural language. Studia Semiotyczne, 26, 219-244. [details]
    • Szymanik, J. (2007). Strong Meaning Hypothesis from a Computational Perspective. In P. D. F. Roelofsen M. Aloni (Ed.), Proceedings of the Sixteenth Amsterdam Colloquium (pp. 211-216). Amsterdam. [details]
    • Szymanik, J., & Gierasimczuk, N. (2007). Hintikka's Thesis revisited. The Bulletin of Symbolic Logic, 13, 273-273. [details]
    • Szymanik, J., & Mostowski, M. (2007). Computational complexity of some Ramsey quantifiers in finite models. The Bulletin of Symbolic Logic, 13, 281-282. [details]

    2015

    • Ghosh, S., & Szymanik, J. (2015). The facts matter: Essays on logic and cognition in honour of Rineke Verbrugge. (Tributes; No. 25). [London]: College Publications. [details]

    2014

    • Szymanik, J., & Verbrugge, R. (2014). RAOM 2014 : Reasoning About Other Minds: Logical and Cognitive Perspectives: proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives, co-located with Advances in Modal Logic 2014 ; Groningen, The Netherlands, August 4, 2014. (CEUR Workshop Proceedings; Vol. 1208). Aachen: CEUR-WS. [details]

    2013

    • Szymanik, J. K. (2013). Communication and cooperation. In J. van Benthem, & F. Liu (Eds.), Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013 (Studies in Logic; Vol. 47). London: College Publications.

    2013

    • Szymanik, J. K., & Thorne, C. (2013). Quantifier Distribution and Semantic Complexity. Paper presented at Tenth International Tbilisi Symposium on Language, Logic and Computation, .

    2009

    • Szymanik, J. (2009). Almost all complex quantifiers are simple. Paper presented at 11th Meeting on the Mathematics of Language (MOL 11), Bielefeld, Germany, . [details]

    Membership

    • Szymanik, J. (2017). Semantics and Linguistic Theory 27, 2017 .
    • Szymanik, J. (2017). Experimental Pragmatics 7, 2017.
    • Szymanik, J. (2017). Quantifiers and Determiners workshop at ESSLLI 2017.
    • Szymanik, J. (2017). Sinn und Bedeutung 22, 2017.
    • Szymanik, J. (2017-2022). Principal Investigator, Dutch Gravitation consortium Language in Interaction.
    • Szymanik, J. (2016). Conference on Logical Aspects of Computational Linguistics, 2016.
    • Szymanik, J. (2016). 11th International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI, 2016.
    • Szymanik, J. (2016). 15th European Conference on Logics in Artificial Intelligence.
    • Szymanik, J. (2016). Poznań Reasoning Week 2016.
    • Szymanik, J. (2016). Semantics and Linguistic Theory 26, 2016.
    • Szymanik, J. (2016). PhDs in Logic, 2016.

    Talk / presentation

    • Szymanik, J. (speaker) (2017). Bridging natural logic and probabilities to model human reasoning, CADILLAC Workshop.
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    • No ancillary activities