Katrine Bjørn Pedersen Thoft

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

Collaborative distances:

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

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