| Belief revision as a truth-tracking process A Baltag, N Gierasimczuk, S Smets Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011 | 58 | 2011 |
| Knowing one's limits: logical analysis of inductive inference N Gierasimczuk ILLC, University of Amsterdam, 2010 | 56 | 2010 |
| On the solvability of inductive problems: A study in epistemic topology A Baltag, N Gierasimczuk, S Smets arXiv preprint arXiv:1606.07518, 2016 | 45 | 2016 |
| An analytic tableaux model for deductive mastermind empirically tested with a massively used online learning system N Gierasimczuk, HLJ van der Maas, MEJ Raijmakers Journal of Logic, Language and Information 22 (3), 297-314, 2013 | 43* | 2013 |
| Bridging learning theory and dynamic epistemic logic N Gierasimczuk Synthese 169 (2), 371-384, 2009 | 41 | 2009 |
| Learning and teaching as a game: A sabotage approach N Gierasimczuk, L Kurzen, FR Velázquez-Quesada Logic, Rationality, and Interaction: Second International Workshop, LORI …, 2009 | 41 | 2009 |
| Branching quantification v. two-way quantification N Gierasimczuk, J Szymanik Journal of Semantics 26 (4), 367-392, 2009 | 38* | 2009 |
| The problem of learning the semantics of quantifiers N Gierasimczuk Logic, Language, and Computation, 6th International Tbilisi Symposium on …, 2007 | 32 | 2007 |
| A note on a generalization of the muddy children puzzle N Gierasimczuk, J Szymanik Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011 | 29 | 2011 |
| On the complexity of conclusive update N Gierasimczuk, D de Jongh The Computer Journal 56 (3), 365-377, 2013 | 28* | 2013 |
| Finite identification from the viewpoint of epistemic update C Dégremont, N Gierasimczuk Information and Computation 209 (3), 383-396, 2011 | 24 | 2011 |
| Learning by erasing in dynamic epistemic logic N Gierasimczuk International Conference on Language and Automata Theory and Applications …, 2009 | 24 | 2009 |
| Can doxastic agents learn? On the temporal structure of learning C Dégremont, N Gierasimczuk Logic, Rationality, and Interaction: Second International Workshop, LORI …, 2009 | 24 | 2009 |
| A dynamic logic for learning theory A Baltag, N Gierasimczuk, A Özgün, ALV Sandoval, S Smets Journal of Logical and Algebraic Methods in Programming 109, 100485, 2019 | 23 | 2019 |
| Truth-tracking by belief revision A Baltag, N Gierasimczuk, S Smets Studia Logica 107, 917-947, 2019 | 23* | 2019 |
| Learning actions models: Qualitative approach T Bolander, N Gierasimczuk International Workshop on Logic, Rationality and Interaction, 40-52, 2015 | 18 | 2015 |
| Logic and learning N Gierasimczuk, VF Hendricks, D de Jongh Johan van Benthem on logic and information dynamics, 267-288, 2014 | 16* | 2014 |
| Learning to act: qualitative learning of deterministic action models T Bolander, N Gierasimczuk Journal of Logic and Computation 28 (2), 337-365, 2018 | 15 | 2018 |
| Identification through inductive verification: Application to monotone quantifiers N Gierasimczuk International Tbilisi Symposium on Logic, Language, and Computation, 193-205, 2007 | 12 | 2007 |
| Collective Learning in Games through Social Networks. S Kosterman, N Gierasimczuk SocInf@ IJCAI, 35-41, 2015 | 10 | 2015 |
Sonja SmetsILLC, University of AmsterdamVerified email at uva.nl
