Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 26
Number of items: 26
  • Gierasimczuk, N., van der Maas, H. L. J., & Raijmakers, M. E. J. (2013). An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system. Journal of Logic, Language and Information, 22(3), 297-314. https://doi.org/10.1007/s10849-013-9177-5
  • Gierasimczuk, N., & de Jongh, D. (2013). On the Complexity of Conclusive Update. Computer Journal, 56(3), 365-377. https://doi.org/10.1093/comjnl/bxs059
  • Open Access
    Gierasimczuk, N., van der Maas, H., & Raijmakers, M. (2012). Logical and Psychological Analysis of Deductive Mastermind. In J. Szymanik, & R. Verbrugge (Eds.), Proceedings of the Logic & Cognition Workshop at ESSLLI 2012: Opole, Poland, 13-17 August, 2012 (pp. 1-13). (CEUR Workshop Proceedings; Vol. 883). CEUR-WS. http://ceur-ws.org/Vol-883/paper1.pdf
  • 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). Springer. https://doi.org/10.1007/978-3-642-23211-4_5
  • Gierasimczuk, N., & Szymanik, J. (2011). A note on a generalization of the Muddy Children Puzzle. In K. R. Apt (Ed.), TARK XIII: Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011) (pp. 257-264). ACM. https://doi.org/10.1145/2000378.2000409
  • Dégremont, C., & Gierasimczuk, N. (2011). Finite Identification from the Viewpoint of Epistemic Update. Information and Computation, 209(3), 383-396. https://doi.org/10.1016/j.ic.2010.08.002
  • Baltag, A., Gierasimczuk, N., & Smets, S. (2011). Belief Revision as a Truth-Tracking Process. In K. R. Apt (Ed.), TARK XIII: Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011) (pp. 187-190). ACM. https://doi.org/10.1145/2000378.2000400
  • Open Access
    Gierasimczuk, N. (2010). Knowing one's limits: logical analysis of inductive inference. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • 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
  • Gierasimczuk, N. (2009). Learning by Erasing in Dynamic Epistemic Logic. In A. H. Dediu, A. M. Ionescu, & C. Martín-Vide (Eds.), Language and Automata Theory and Applications: third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings (pp. 362-373). (Lecture Notes in Computer Science; Vol. 5457). Springer. https://doi.org/10.1007/978-3-642-00982-2_31
Page 2 of 3