Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 81
Number of items: 81
  • 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). Springer. https://doi.org/10.1007/978-3-319-06025-5_30
  • 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
  • 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
  • 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
  • Open Access
    Dotlačil, J., Szymanik, J., & Zajenkowski, M. (2014). Probabilistic semantic automata in the verification of quantified statements. In P. Bello, M. Guarini, M. McShane, & B. Scassellati (Eds.), CogSci 2014: cognitive science meets artificial intelligence: human and artifical agents in interactive contexts: 36th Annual Cognitive Science Conference: Quebec City, Canada, Jul 23-Jul 26 (Vol. 4, pp. 2967-2972). Cognitive Science Society. https://mindmodeling.org/cogsci2014/papers/512/
  • Open Access
    Bergwerff, G., Meijering, B., Szymanik, J., Verbrugge, R., & Wierda, S. (2014). Computational and algorithmic models of strategies in turn-based games. In P. Bello, M. Guarini, M. McShane, & B. Scassellati (Eds.), CogSci 2014: cognitive science meets artificial intelligence: human and artifical agents in interactive contexts: 36th Annual Cognitive Science Conference: Quebec City, Canada, Jul 23-Jul 26 (Vol. 3, pp. 1778-1783). Cognitive Science Society. https://escholarship.org/uc/item/6pd0k6bk
  • 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). Springer. https://doi.org/10.1007/978-3-642-40948-6_32
  • 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
  • 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
  • Open Access
    Szymanik, J., & Zajenkowski, M. (2013). Monotonicity has only a relative effect on the complexity of quantifier verification. In M. Aloni, M. Franke, & F. Roelofsen (Eds.), Proceedings of the 19th Amsterdam Colloquium (pp. 219-225). ILLC, University of Amsterdam. http://www.illc.uva.nl/AC/AC2013/uploaded_files/inlineitem/28_Szymanik_Zajenkowski.pdf
Page 5 of 9