Nina Gierasimczuk
Nina Gierasimczuk
DTU Compute
Geverifieerd e-mailadres voor dtu.dk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
47*2011
Knowing one's limits: logical analysis of inductive inference
N Gierasimczuk
ILLC, University of Amsterdam, 2010
392010
Branching quantification v. two-way quantification
N Gierasimczuk, J Szymanik
Journal of Semantics 26 (4), 367-392, 2009
36*2009
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
32*2013
The problem of learning the semantics of quantifiers
N Gierasimczuk
Logic, Language, and Computation, 6th International Tbilisi Symposium on …, 2007
32*2007
On the solvability of inductive problems: A study in epistemic topology
A Baltag, N Gierasimczuk, S Smets
arXiv preprint arXiv:1606.07518, 2016
262016
Learning and teaching as a game: A sabotage approach
N Gierasimczuk, L Kurzen, FR Velázquez-Quesada
International Workshop on Logic, Rationality and Interaction, 119-132, 2009
262009
Can doxastic agents learn? On the temporal structure of learning
C Dégremont, N Gierasimczuk
International Workshop on Logic, Rationality and Interaction, 90-104, 2009
232009
Bridging learning theory and dynamic epistemic logic
N Gierasimczuk
Synthese 169 (2), 371-384, 2009
232009
On the complexity of conclusive update
N Gierasimczuk, D de Jongh
The Computer Journal 56 (3), 365-377, 2013
16*2013
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
142011
Finite identification from the viewpoint of epistemic update
C Dégremont, N Gierasimczuk
Information and Computation 209 (3), 383-396, 2011
142011
Identification through inductive verification
N Gierasimczuk
International Tbilisi Symposium on Logic, Language, and Computation, 193-205, 2007
132007
Logic and learning
N Gierasimczuk, VF Hendricks, D de Jongh
Johan van Benthem on Logic and Information Dynamics, 267-288, 2014
122014
Learning by erasing in dynamic epistemic logic
N Gierasimczuk
International Conference on Language and Automata Theory and Applications …, 2009
122009
Collective learning in games through social networks
S Kosterman, N Gierasimczuk
Proceedings of the 1st International Conference on Social Influence Analysis …, 2015
82015
Learning actions models: Qualitative approach
T Bolander, N Gierasimczuk
International Workshop on Logic, Rationality and Interaction, 40-52, 2015
72015
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
42019
Quantifier learning: An agent-based coordination model
D Kalociński, N Gierasimczuk, M Mostowski
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
42015
Epistemic topology (to appear)
A Baltag, N Gierasimczuk, S Smets
ILLC Technical Report, 2014
42014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20