JAKUB SZYMANIK

Institute of Artificial Intelligence
Faculty of Mathematics and Natural Sciences
University of Groningen
P.O. Box 407

9700 AK Groningen
The Netherlands

Visiting address:
Bernoulliborg (Building V)

Nijenborg 9

9747AG Groningen

jakub.szymanik at gmail.com

Research:

I am a post-doc researcher at the Institute of Artificial Intelligence at the University of Groningen. I am affiliated with the project 'Cognitive systems in interaction: Logical and computational models of higher-order social cognition' for which I study the cognitive and computational constraints on social interaction. My research interests include applied logic, cognitive science, mathematical linguistics, complexity theory, psycholinguistics, philosophy, and any combination of these. I try to use experimental methods in order to validate logical predictions. Recently, I have been mostly investigating the computational complexity of natural language quantifiers and its influence on language processing.

I did my PhD at the Institute for Logic, Language and Computation, Amsterdam University. Later I was a postdoc researcher at the Department of Philosophy, Stockholm University. Before I was briefly teaching at the Cognitive Artificial Intelligence Programme, Utrecht University and consulting for a company in machine translation. I received MA in the Institute of Philosophy, University of Warsaw.

Work in Progress:

A note on the complexity of backward induction games, to be presented at RAIN.
Book project on computational semantics for quantifiers from a cognitive perspective

Journal Publications:

Jakub Szymanik. Ramsey properties as a source of intractability in natural language semantics, under revision.
Jakub Szymanik and Marcin Zajenkowski. Computational approaches towards monotonicity in sentence-picture verification, under revision.
Marcin Zajenkowski, Rafał Styła, and Jakub Szymanik. Is the working memory overload associated with semantic processing impairments in schizophrenia?, submitted.
Cédric Dégremont, Lena Kurzen and Jakub Szymanik. Exploring tractability border in epistemic tasks, under revision for Synthese.
Juha Kontinen and Jakub Szymanik. Definability of second-order generalized quantifiers, under submission.
Marcin Mostowski and Jakub Szymanik. Semantic bounds for everyday language, Semiotica, Vol. 188, Iss. 1/4, 2012, pp. 363-372 .
Marcin Zajenkowski, Rafał Styła, and Jakub Szymanik. A computational approach to quantifiers as an explanation for some language impairments in schizophrenia, Journal of Communication Disorder, Vol. 44, 2011, pp. 595-600.
Jakub Szymanik and Marcin Zajenkowski. Contribution of working memory in the parity and proportional judgments, Belgian Journal of Linguistics, Vol. 25, 2011, pp. 189-206.
Iris van Rooij, Johan Kwisthout, Mark Blokpoel, Jakub Szymanik, Todd Wareham, and Ivan Toni. Intentional communication: Computationally easy or difficult?, Frontiers in Human Neuroscience, Vol. 5, 2011, pp. 1--18.
Jakub Szymanik. Computational complexity of polyadic lifts of generalized quantifiers in natural language, Linguistics and Philosophy, Vol. 33, Iss. 3, 2010, pp. 215-250.
Alistair Isaac and Jakub Szymanik. Logic in cognitive science: Bridging the gap between symbolic and connectionist paradigms, Journal of the Indian Council of Philosophical Research, Vol. XXVII, No 2, 2010, pp. 279-309. Also reprinted in: A New Survey of Active Directions in Modern Logic. Logic and Philosophy Today, A. Gupta, J. van Benthem (Eds.), Studies in Logic, Volume 30, College Publications, London, 2011, pp. 275-300.
Jakub Szymanik and Marcin Zajenkowski. Comprehension of simple quantifiers. Empirical evaluation of a computational model, Cognitive Science, 34(3), 2010, pp. 521-532.
Nina Gierasimczuk and Jakub Szymanik. Branching quantification vs. two-way quantification, Journal of Semantics, Vol. 26, No. 4, 2009, pp. 329-366.
Jakub Szymanik and Marcin Zajenkowski. Improving methodology of quantifier comprehension experiments, Neuropsychologia, Vol. 47, No. 12, 2009, pp. 2682-2683.
Juha Kontinen and Jakub Szymanik. A remark on collective quantification, Journal of Logic, Language and Information, Vol. 17, No. 2, 2008, pp. 131-140.
Jakub Szymanik. A comment on a neuroimaging study of natural language quantifier comprehension, Neuropsychologia, Vol. 45, Iss. 9, 2007, pp. 2158-2160.
Jakub Szymanik. Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym, Studia Semiotyczne 26, 2007, pp. 219-244.
Tadeusz Ciecierski and Jakub Szymanik. O hipotezie Bar-Hillela, Studia Semiotyczne 25, 2004, pp. 201-212.
Jakub Szymanik. Problemy z formą logiczną, Studia Semiotyczne 25, 2004, pp. 187-200.

Papers in Proceedings:

Livio Robaldo and Jakub Szymanik. Pragmatic Identification of the Witness Sets, Proceeding of the 8th Conference on Language Resources and Evaluation, N. Calzolari et al. (Eds.), European Language Resources Association, Istanbul 2012.
Nina Gierasimczuk and Jakub Szymanik. Invariance properties of quantifiers and multiagent information exchange, Proceedings of 12th Meeting on Mathematics of Language, Lecture Notes in Artificial Intelligence 6878, M. Kanazawa, A. Kornai, M. Kracht and H. Seki (Eds.), 2011, Springer, Berlin, pp. 72-89.
Cédric Dégremont, Lena Kurzen and Jakub Szymanik. On the tractability of comparing informational structures, Proceedings of the Workshop 'Reasoning about Other Minds: Logical and Cognitive Perspectives', J. van Eijck, R. Verbrugge (Eds.), CEUR Workshop Proceedings 751, 2011, pp. 50-64.
Nina Gierasimczuk and Jakub Szymanik. A note on a generalization of the Muddy Children Puzzle, Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, K. Apt (Ed.), ACM Digital Library, 2011, pp. 257-264.
Juha Kontinen and Jakub Szymanik. Characterizing definability of second-order generalized quantifiers, Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642, L. Beklemishev and R. De Queiroz (Eds.), 2011, Springer, Berlin, pp. 187-200.
Oliver Bott, Fabian Schlotterbeck, and Jakub Szymanik. Interpreting tractable versus intractable reciprocal sentences, Proceedings of the International Conference on Computational Semantics 9, J. Bos and S. Pulman (Eds.), SIGSEM, Oxford, 2011, pp. 75-84.
Jakub Szymanik and Marcin Zajenkowski. Quantifiers and working memory, Proceedings of Amsterdam Colloquium 2009, Lecture Notes in Artificial Intelligence 6042, M. Aloni and K. Schulz (Eds.), Springer, Berlin, 2010, pp. 456-464.
Jakub Szymanik. Almost all complex quantifiers are simple, Proceedings of the 13th Meeting on Mathematics of Language, Lecture Notes in Computer Science 6149, C. Ebert, G. Jäger, M. Kracht, J. Michaelis (Eds.), Springer, Berlin, 2010, pp. 272-280.
Jakub Szymanik and Marcin Zajenkowski. Understanding quantifiers in language, Proceedings of the 31st Annual Conference of the Cognitive Science Society, N. A. Taatgen and H. van Rijn (Eds.), 2009, pp.1109-1115.
Jakub Szymanik. The computational complexity of quantified reciprocals, Proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, Lecture Notes on Artificial Intelligence 5422, P. Bosh, D. Gabelaia, J. Lang (Eds.), Springer, Berlin 2009, pp. 139-152.
Jakub Szymanik. Strong Meaning Hypothesis from a computational perspective, Proceedings of the 16th Amsterdam Colloquium, M. Aloni, P. Dekker, F. Roelofsen (Eds.), 2007, Amsterdam, pp. 211-216.

Book Chapters:

Alistair Isaac, Jakub Szymanik, Rineke Verbrugge. Logic and complexity in cognitive science, under revision.

Dissertation:

Jakub Szymanik. Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language, PhD Thesis, University of Amsterdam, 2009.
Front cover; Back cover; Defense slides

Edited Books:

Kognitywistyka. O umyśle umyślnie i nieumyślnie, Jakub Szymanik and Marcin Zajenkowski (eds.), MISH, Warszawa, 2004.
Filozofia wobec nauk szczegółowych, Tadeusz Ciecierski, Lech Nijakowski, and Jakub Szymanik (eds.), MISH, Warszawa, 2002.

Invited Conference Lectures:

A Tractability Border in Natural Language Semantics, International Conference on Cognitive Modeling 2012 Workshop "Scaling Models of Cognition to the Real World", Berlin 2012.
Intentional Communication: Computationally Easy or Difficult. A Comment on Robin Clark's "Face, Reputation, and Truth", Lorentz Center Workshop "Modeling Strategic Reasoning", Leiden 2012.
Generalizing Muddy Children Puzzle, Dagstuhl Seminar Computer Science & Problem Solving: New Foundations, Dagstuhl 2011.
Logic & Cognition Workshop, "Entia et Nomina" Workshop, Gdańsk 2011.
Quantifier Verification. Between Computational and Algorithmic Level, 3rd Workshop on Semantic Processing, Logic and Cognition, Tübingen 2011.
Logic & Cognition. The new psychologism in logic, 7th Conference on Argumentation "Cognition and Argument: An Insight into Real-Life Practice”, Warsaw 2011.
Logic and Cognition, Logic and Philosophy Today, Dehli 2011.
Complexity, meaning, and quantifiers, Workshop on Vague Quantities and Vague Quantifiers, Berlin 2010.
Muddy Children Playground, Logic, Rationality and Intelligent Interaction, ESSLLI workshop, Copenhagen 2010.
Generalized Quantifiers. From Logic to Cognitive Science, Szklarska Poręba Workshop 2010.
Comprehension of Simple Quantifiers. Empirical Evaluation of a Computational Model, 2nd Workshop on Semantic Processing, Logic and Cognition, Tübingen 2009.
Computational Dichotomy between Reciprocals, Games in Logic, Language and Computation 14, Amsterdam 2007.
Modyfikatory typów i kwantyfikacja w języku naturalnym, Warsztaty Logiczne "Logika i kognitywistyka", Szklarska Poręba 2007.
Complexity of Quantifier Meaning, PALMYR 5 "Dynamic Perspectives on Meaning", Paris 2007.

Some Refereed Talks:

Invariance Properties of Quantifiers & Multi-agent Information Exchange, 12th Mathematics of Language, Nara 2011.
Schizophrenic Patients Find Proportional Quantification Difficult Due to Working Memory Deficits, Proper Use of Quantification in Ordinary Language, Ljubljana 2011.
A Generalization of the Muddy Children Puzzle, 13th conference on Theoretical Aspects of Rationality and Knowledge, Groningen 2011.
Characterizing Definability of Second-Order Generalized Quantifiers, 18th Workshop on Logic, Language, Information and Computation, Philadelphia 2011.
Monotonicity in Quantifier Verification, Sinn und Bedeutung 15, Saarbrücken 2010.
Working Memory and Quantifiers, Utterance Interpretation and Cognitive Models III, Brussels 2010.
Quantifiers and Working Memory, Amsterdam Colloquium, Amsterdam 2009.
Almost All Complex Quantifiers are Simple, Eleventh Meeting on Mathematics of Language, Bielefeld 2009.
Understanding Quantifiers in Language, The Annual Meeting of the Cognitive Science Society, Amsterdam 2009.
How Complex is Language?, Szklarska Poręba Workshop 2009.
A Remark on Collective Quantification, Szklarska Poręba Workshop 2008.
Computational Complexity and the Strong Meaning Hypothesis, 7th International Symposium on Language, Logic and Computation, Tbilisi 2007.
Verifiable Fragments of Language: Everyday Language Quantifiers, Szklarska Poręba Workshop 2007.
The Notion of Computational Complexity in Psycholinguistics. Empirical evidence, European Society for Philosophy and Psychology Annual Meeting, Belfast 2006.
Computational Complexity of Some Ramsey Quantifiers in Finite Models, Logic Colloqium, Nijmegen 2006.
Hintikka's Thesis Revisited, Szklarska Poręba Workshop 2006.
Computational Basis for Natural Language Quantifiers Comprehension, European Society for Psychology and Philosophy Annual Meeting, Lund 2005.
Defining the Meanings of Quantifiers, Prague International Colloquium "Logic, Games and Philosophy: Foundational Perspectives", Prague 2004.
Can Every Indexical Sentence be Translated into Standing Sentence?, Epistemological Controversies, Toruń 2003.

Seminar talks:

Agent-oriented perspective on epistemic reasonings, Theoretical Philosophy Seminar, Lund 2012.
Multi-agent information exchange, Artificial Intelligence Colloquium, Groningen 2012.
Complexity Measures in Cognitive Science, Psychological Research Methods Seminar, Amsterdam 2012.
Model Transformations, Logic and Interactive Rationality Seminar, Groningen 2011.
The Complexity of the Sentence-picture Verification, Multi-agent Systems Group Seminar, Groningen 2011.
Characterizing Definability of Collective Quantifiers in Natural Language, CogSci Forum, Warsaw 2011.
Characterizing Definability of Second-order Generalized Quantifiers in Natural Language, The Logic Seminar, Gothenburg 2011.
An Alternative Story of Muddy Children, Logic Seminar, Helsinki 2010.
Monotonicity and Quantifiers, Logic, Language, and Mind Seminar, Stockholm 2010.
Monotonicity in Quantifier Verification, Department of Linguistics Seminar, Tübingen 2010.
MOST, Seminar on Psycholinguistics and Processing of "most", Tübingen 2010.
Quantifier Processing, Research Seminar in Logic and Language, Tilburg 2010.
Data Complexity of the Quantifier Fragments in Natural Language, GLoRiClass Farewell, Amsterdam 2010.
Collective Quantification, Type-shifting, and Complexity, Leiden Utrecht Semantic Happening, Utrecht 2009.
Most of the NPs aren't NP-hard,Generalized Quantifiers: Formal Semantics Meets Computation and Cognition, Amsterdam 2009.
Understanding Quantifiers, Theoretical Cognitive Science Group Meeting, Nijmegen 2009.
Complexity of Quantifiers,Computational Linguistics Seminar, Amsterdam 2009.
Quantifiers, Automata and Language Comprehension, Logic Tea, Amsterdam 2008.
Experimenting with some non-Fregean quantifier combinations, Logic, Language, and Reasoning Seminar, Amsterdam 2008.
Computational Insights into Meaning, GLoRiClass Halftime Event, Amsterdam 2008.
Obliczeniowy model rozumienia kwantyfikatorów w świetle badań neuropsychologicznych, Forum Kognitywistyczne, Warszawa 2007.
Quantifiers Comprehension. A Comment on Existing Studies and Proposition of the New Experiment, Logic, Language, and Reasoning Seminar, Amsterdam 2007.
Quantifiers, Games and Complexity, GloRiClass Seminar, Amsterdam 2006.