Publications per year
Publications per year
Fingerprint
Dive into the research topics where Katrine Bjørn Pedersen Thoft is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Learning by Intervention in Simple Causal Domains
Thoft, K. B. P. & Gierasimczuk, N., 2024, Proceedings of the 5th International Workshop of Dynamic Logic. New Trends and Applications: DaLí 2023. Springer, Vol. 14401. p. 104-118Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective
Thoft, K. B. P. & Gierasimczuk, N., 2019, p. 3370-3370.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Open AccessFile116 Downloads (Pure)
Projects
- 1 Active
-
Logical Approaches to Dynamical Structures in AI
Thoft, K. B. P. (PhD Student), Gierasimczuk, N. (Main Supervisor) & Rotenberg, E. (Supervisor)
01/09/2021 → 05/10/2025
Project: PhD