Follow
Nina Gierasimczuk
Nina Gierasimczuk
Associate Professor, DTU Compute
Verified email at dtu.dk - Homepage
Title
Cited by
Cited by
Year
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
63*2011
Knowing one's limits: logical analysis of inductive inference
N Gierasimczuk
ILLC, University of Amsterdam, 2010
502010
On the solvability of inductive problems: A study in epistemic topology
A Baltag, N Gierasimczuk, S Smets
arXiv preprint arXiv:1606.07518, 2016
422016
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
42*2013
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
392009
Bridging learning theory and dynamic epistemic logic
N Gierasimczuk
Synthese 169 (2), 371-384, 2009
382009
Branching quantification v. two-way quantification
N Gierasimczuk, J Szymanik
Journal of Semantics 26 (4), 367-392, 2009
37*2009
The problem of learning the semantics of quantifiers
N Gierasimczuk
Logic, Language, and Computation, 6th International Tbilisi Symposium on …, 2007
322007
On the complexity of conclusive update
N Gierasimczuk, D de Jongh
The Computer Journal 56 (3), 365-377, 2013
25*2013
Can Doxastic Agents Learn? On the Temporal Structure of Learning.
C Dégremont, N Gierasimczuk
LORI 9, 90-104, 2009
242009
Learning by erasing in dynamic epistemic logic.
N Gierasimczuk
LATA 9, 362-373, 2009
222009
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
212011
Finite identification from the viewpoint of epistemic update
C Dégremont, N Gierasimczuk
Information and Computation 209 (3), 383-396, 2011
212011
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
192019
Learning actions models: Qualitative approach
T Bolander, N Gierasimczuk
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015
162015
Learning to act: qualitative learning of deterministic action models
T Bolander, N Gierasimczuk
Journal of Logic and Computation 28 (2), 337-365, 2018
142018
Logic and learning
N Gierasimczuk, VF Hendricks, D de Jongh
Johan van Benthem on logic and information dynamics, 267-288, 2014
142014
Identification through inductive verification: Application to monotone quantifiers
N Gierasimczuk
Logic, Language, and Computation: 7th International Tbilisi Symposium on …, 2009
122009
Collective Learning in Games through Social Networks.
S Kosterman, N Gierasimczuk
SocInf@ IJCAI, 35-41, 2015
102015
Truth-tracking by belief revision
A Baltag, N Gierasimczuk, S Smets
92014
The system can't perform the operation now. Try again later.
Articles 1–20