Nina Gierasimczuk

39 papers A 1B 8C 2Journal 14Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning. NeSy Ivo Amador, Nina Gierasimczuk
2025	J	`jnl`	SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning. CoRR Ivo Amador, Nina Gierasimczuk
2025	B	`conf`	Who is Afraid of Minimal Revision? TARK Edoardo Baccini, Zoé Christoff, Nina Gierasimczuk, Rineke Verbrugge
2024	—	`ed.`	Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers DaLí Nina Gierasimczuk, Fernando R. Velázquez-Quesada
2024	—	`ed.`	Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024. NMR Nina Gierasimczuk, Jesse Heyninck
2023	B	`conf`	Cognitive Bias and Belief Revision. TARK Panagiotis Papadamos, Nina Gierasimczuk
2023	J	`jnl`	Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents. J. Log. Lang. Inf. Nina Gierasimczuk, Dariusz Kalocinski, Franciszek Rakowski, Jakub Uszynski
2023	B	`conf`	Inductive Inference and Epistemic Modal Logic (Invited Talk). CSL Nina Gierasimczuk
2023	—	`conf`	Learning by Intervention in Simple Causal Domains. DaLí Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk
2021	J	`jnl`	Learning to Act and Observe in Partially Observable Domains. CoRR Thomas Bolander, Nina Gierasimczuk, Andrés Occhipinti Liberman
2020	B	`conf`	Learning and Modal Logic: There and Back Again. AiML Nina Gierasimczuk
2019	J	`jnl`	A dynamic logic for learning theory. J. Log. Algebraic Methods Program. Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
2019	B	`conf`	Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective. CogSci Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk
2019	J	`jnl`	Truth-Tracking by Belief Revision. Stud Logica Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2018	J	`jnl`	Interactive Semantic Alignment Model: Social Influence and Local Transmission Bottleneck. J. Log. Lang. Inf. Dariusz Kalocinski, Marcin Mostowski, Nina Gierasimczuk
2018	J	`jnl`	Learning to act: qualitative learning of deterministic action models. J. Log. Comput. Thomas Bolander, Nina Gierasimczuk
2017	—	`conf`	A Dynamic Logic for Learning Theory. DALI@TABLEAUX Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets
2015	J	`jnl`	Book Review: Neil Tennant, Changes of Mind: An Essay on Rational Belief Revision. Stud Logica Nina Gierasimczuk
2015	—	`conf`	Collective Learning in Games through Social Networks. SocInf@IJCAI Sanne Kosterman, Nina Gierasimczuk
2015	J	`jnl`	Learning Action Models: Qualitative Approach. CoRR Thomas Bolander, Nina Gierasimczuk
2015	—	`conf`	Learning Actions Models: Qualitative Approach. LORI Thomas Bolander, Nina Gierasimczuk
2015	B	`conf`	On the Solvability of Inductive Problems: A Study in Epistemic Topology. TARK Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2015	A	`conf`	Quantifier Learning: An Agent-based Coordination Model. AAMAS Dariusz Kalocinski, Nina Gierasimczuk, Marcin Mostowski
2014	—	`ch.`	Logic and Learning. Johan van Benthem on Logic and Information Dynamics Nina Gierasimczuk, Vincent F. Hendricks, Dick de Jongh
2013	J	`jnl`	An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System. J. Log. Lang. Inf. Nina Gierasimczuk, Han L. J. van der Maas, Maartje E. J. Raijmakers
2013	J	`jnl`	On the Complexity of Conclusive Update. Comput. J. Nina Gierasimczuk, Dick de Jongh
2012	—	`conf`	Logical and psychological analysis of deductive mastermind. ESSLLI Logic & Cognition Workshop Nina Gierasimczuk, Han L. J. van der Maas, Maartje E. J. Raijmakers
2011	B	`conf`	A note on a generalization of the Muddy Children puzzle. TARK Nina Gierasimczuk, Jakub Szymanik
2011	B	`conf`	Belief revision as a truth-tracking process. TARK Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
2011	J	`jnl`	Finite identification from the viewpoint of epistemic update. Inf. Comput. Cédric Dégremont, Nina Gierasimczuk
2011	—	`conf`	Invariance Properties of Quantifiers and Multiagent Information Exchange. MOL Nina Gierasimczuk, Jakub Szymanik
2009	J	`jnl`	Branching Quantification v. Two-way Quantification. J. Semant. Nina Gierasimczuk, Jakub Szymanik
2009	J	`jnl`	Bridging learning theory and dynamic epistemic logic. Synth. Nina Gierasimczuk
2009	—	`conf`	Can Doxastic Agents Learn? On the Temporal Structure of Learning. LORI Cédric Dégremont, Nina Gierasimczuk
2009	—	`conf`	Games for Learning: A Sabotage Approach. MALLOW Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada
2009	—	`conf`	Learning and Teaching as a Game: A Sabotage Approach. LORI Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada
2009	C	`conf`	Learning by Erasing in Dynamic Epistemic Logic. LATA Nina Gierasimczuk
2007	—	`conf`	Identification through Inductive Verification. TbiLLC Nina Gierasimczuk
2005	—	`conf`	The Problem of Learning the Semantics of Quantifiers. TbiLLC Nina Gierasimczuk