Nina Gierasimczuk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | NeSy | SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning. | Ivo Amador, Nina Gierasimczuk |
| 2023 | CSL | Inductive Inference and Epistemic Modal Logic (Invited Talk). | Nina Gierasimczuk |
| 2020 | AiML | Learning and Modal Logic: There and Back Again. | Nina Gierasimczuk |
| 2019 | CogSci | Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective. | Katrine Bjrn Pedersen Thoft, Nina Gierasimczuk |
| 2017 | TABLEAUX | A Dynamic Logic for Learning Theory. | Alexandru Baltag, Nina Gierasimczuk, Aybke zgn, Ana Lucia Vargas Sandoval, Sonja Smets |
| 2015 | IJCAI | Collective Learning in Games through Social Networks. | Sanne Kosterman, Nina Gierasimczuk |
| 2011 | TARK | Belief revision as a truth-tracking process. | Alexandru Baltag, Nina Gierasimczuk, Sonja Smets |
| 2011 | TARK | A note on a generalization of the Muddy Children puzzle. | Nina Gierasimczuk, Jakub Szymanik |
| 2009 | LATA | Learning by Erasing in Dynamic Epistemic Logic. | Nina Gierasimczuk |