activity
20152026
most citedOn the Solvability of Inductive Problems: A Study in Epistemic Topology

7 citations · 11 across the 7 of their papers we have counts for

collaborators

7 papers

cs.LO2026

Strategies in Sabotage Games: Temporal and Epistemic Perspectives

Nina Gierasimczuk, Katrine B. P. Thoft

Sabotage games are played on a dynamic graph, in which one agent, called a runner, attempts to reach a goal state, while being obstructed by a demon who at each round removes an ed…

cs.AI2025

Who is Afraid of Minimal Revision?

Edoardo Baccini, Zoé Christoff, Nina Gierasimczuk +1

The principle of minimal change in belief revision theory requires that, when accepting new information, one keeps one's belief state as close to the initial belief state as possib…

cs.AI2025

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning

Ivo Amador, Nina Gierasimczuk

We propose a learning architecture that allows symbolic control and guidance in reinforcement learning with deep neural networks. We introduce SymDQN, a novel modular approach that…

cs.AI20211 cited

Learning to Act and Observe in Partially Observable Domains

Thomas Bolander, Nina Gierasimczuk, Andrés Occhipinti Liberman

We consider a learning agent in a partially observable environment, with which the agent has never interacted before, and about which it learns both what it can observe and how its…

cs.LO20167 cited

On the Solvability of Inductive Problems: A Study in Epistemic Topology

Alexandru Baltag, Nina Gierasimczuk, Sonja Smets

We investigate the issues of inductive problem-solving and learning by doxastic agents. We provide topological characterizations of solvability and learnability, and we use them to…

cs.GT20161 cited

Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge

R Ramanujam

The 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK) took place in Carnegie Mellon University, Pittsburgh, USA from June 4 to 6, 2015. The mission of the…