Katrine Bjørn Pedersen Thoft

Emailkabpt@dtu.dk
Websitehttp://www.compute.dtu.dk

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

Research activity per year

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
44 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

Research output

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

Projects

Logical Approaches to Dynamical Structures in AI