Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 81
Number of items: 81
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Open Access
    Szymanik, J., Steinert-Threlkeld, S., Zajenkowski, M., & Icard, T. F. (2013). Automata and Complexity in Multiple-Quantifier Sentence Verification. In R. L. West, & T. C. Stewart (Eds.), Proceedings of ICCM 2013: 12th International Conference on Cognitive Modeling (pp. 239-244). Carleton University. https://www.semanticscholar.org/paper/Automata-and-Complexity-in-Multiple-Quantifier-Szymanik-Szymanik/1979e7dc002c3a791f7b1bcfe03b0d5601aa5d93
Page 5 of 9