Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 82
Number of items: 82
  • Szymanik, J., & Verbrugge, R. (Eds.) (2014). 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). CEUR-WS. http://ceur-ws.org/Vol-1208/
  • 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
  • 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/
  • 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
  • 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
    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., & 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
  • 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
Page 5 of 9