Katrine Bjørn Pedersen Thoft

Emailkabptdtudk
Websitehttp://www.compute.dtu.dk

Richard Petersens Plads, 322, 021
2800 Kgs. Lyngby
Denmark

If you made any changes in Pure these will be visible here soon.

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

1 Conference abstract for conference

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 Access
File
75 Downloads (Pure)

1 Active

Logical Approaches to Dynamical Structures in AI
Thoft, K. B. P., Gierasimczuk, N. & Rotenberg, E.
01/09/2021 → 31/08/2024
Project: PhD

Katrine Bjørn Pedersen Thoft

Fingerprint

Publications

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

Projects

Logical Approaches to Dynamical Structures in AI