contact

mw. dr. N. (Nina) Gierasimczuk


  • Faculteit der Natuurwetenschappen, Wiskunde en Informatica
    ILLC
  • POSTBUS  94242
    1090 GE  Amsterdam
    Kamernummer: C3.113
  • N.Gierasimczuk@uva.nl
    T:  0205258254

2014

  • A. Baltag, N. Gierasimczuk & S.J.L. Smets (in press). Truth-Tracking by Belief Revision. Studia Logica, (in press).

2013

2012

  • N. Gierasimczuk, H.L.J. van der Maas & M.E.J. Raaijmakers (2012). Logical and Psychological Analysis of Deductive Mastermind. In J. Szymanik & R. Verbrugge (Eds.), Proceedings of the Logic & Cognition Workshop at European Summer School for Logic, Language and Information 2012 Vol. 883. CEUR Workshop Proceedings (pp. 1-13). CEUR-WS.org 2012.
  • N. Gierasimczuk & D. de Jongh (2012). On the Complexity of Conclusive Update. In 26th International Symposium on Computer and Information Sciences, London 2011.

2011

  • C.M.L. Degremont & N. Gierasimczuk (2011). Finite Identification from the Viewpoint of Epistemic Update. Information and Computation, 209 (3), 383-396. doi: 10.1016/j.ic.2010.08.002
  • N. Gierasimczuk & J.K. Szymanik (2011). A note on a generalization of the Muddy Children Puzzle. In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. ACM Digital Library.
  • N. Gierasimczuk & J.K. Szymanik (2011). Invariance properties of quantifiers and multiagent information exchange. In Proceedings of 12th Meeting on Mathematics of Language Vol. 6878. Lecture Notes in Artificial Intelligence.
  • A. Baltag, S. Smets & N. Gierasimczuk (2011). Belief Revision as a Truth-Tracking Process. In A Krzysztof (Ed.), Proceedings of TARK (pp. 187-190). ACM Digital Library.

2009

  • C. Dégremont & N. Gierasimczuk (2009). Can doxastic agents learn? On the temporal structure of learning. In X. He, J. Horty & E. Pacuit (Eds.), Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009: Proceedings Vol. 5834. Lecture Notes in Computer Science (pp. 90-104). Berlin: Springer.
  • N. Gierasimczuk (2009). Bridging learning theory and dynamic epistemic logic. Synthese, 169 (2), 371-384.[go to publisher's site]
  • N. Gierasimczuk & J. Szymanik (2009). Branching quantification v. two-way quantification. Journal of Semantics, 26 (4), 367-392.
  • N. Gierasimczuk (2009). Identification through inductive verification: Application to monotone quantifiers. In P. Bosch, D. Gabelaia & J. Lang (Eds.), Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007: Revised selected papers Vol. 5422. Lecture Notes in Computer Science (pp. 193-205). Berlin: Springer.
  • N. Gierasimczuk, L. Kurzen & F.R. Velázquez-Quesada (2009). Learning and teaching as a game: A sabotage approach. In X. He, J. Horty & E. Pacuit (Eds.), Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009: Proceedings Vol. 5834. Lecture Notes in Computer Science (pp. 119-132). Berlin: Springer.
  • N. Gierasimczuk (2009). Learning by Erasing in Dynamic Epistemic Logic. In Adrian Horia Dediu, Armand-Mihai Ionescu, Carlos Martín-Vide & Carlos Martín-Vide (Eds.), Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 Vol. 5457. Lecture Notes in Computer Science (pp. 362-373). Springer.

2014

  • N. Gierasimczuk, V.F. Hendricks & D.M.C. de Jongh (2014). Logic and Learning. In A. Baltag & S. Smets (Eds.), Outstanding Contributions: Johan van Benthem (Trends in Logic Book Series). Springer.

2010

  • N. Gierasimczuk & D. de Jongh (2010). On the Minimality of Definite Tell-tale Sets in Finite Identification of Languages. In D. Grossi, L. Kurzen & F.R. Velázquez-Quesada (Eds.), 2009 Yearbook of Logic and Interactive Rationality (LIRA) Seminar. Amsterdam: ILLC, UvA.

2015

2010

This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.
  • Geen nevenwerkzaamheden

bewerk