Katrine Bjørn Pedersen Thoft

According to our database, Katrine Bjørn Pedersen Thoft authored at least 3 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Strategies in Sabotage Games: Temporal and Epistemic Perspectives.

Nina Gierasimczuk, Katrine Bjørn Pedersen Thoft

CoRR, April, 2026

2023

Learning by Intervention in Simple Causal Domains.

Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

2019

Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective.

Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019