Alexander Birch Jensen

PhD Student, Department of Applied Mathematics and Computer Science
Algorithms and Logic

Phone45253462
Emailaleje@dtu.dk
Websitehttp://www.compute.dtu.dk

Richard Petersens Plads, 322, 021
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 Alexander Birch Jensen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or

7 Article in proceedings
4 Journal article

On Using Theorem Proving for Cognitive Agent-Oriented Programming
Jensen, A. B., Hindriks, K. V. & Villadsen, J., 2021, Proceedings of the 13^th International Conference on Agents and Artificial Intelligence. Rocha, A. P., Steels, L. & van den Herik, J. (eds.). Science and Technology Publishing, Vol. 1. p. 446-453
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Towards Verifying a Blocks World for Teams GOAL Agent
Jensen, A. B., 2021, Proceedings of the 13^th International Conference on Agents and Artificial Intelligence. Rocha, A. P., Steels, L. & van den Herik, J. (eds.). Science and Technology Publishing, Vol. 1. p. 337-344
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Towards Verifying GOAL Agents in Isabelle/HOL
Jensen, A. B., 2021, Proceedings of the 13^th International Conference on Agents and Artificial Intelligence. Rocha, A. P., Steels, L. & van den Herik, J. (eds.). Science and Technology Publishing, Vol. 1. p. 345-352
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A Verification Framework for GOAL Agents.
Jensen, A. B., 2020, Pre-Proceedings of 8^th International Workshop on Engineering Multi-Agent Systems. 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
File
7 Downloads (Pure)
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest
Jensen, A. B. & Villadsen, J., 2020, The Multi-Agent Programming Contest 2019. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausburg, T. (eds.). Springer, p. 79-105 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12381 LNAI).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

1 Active

Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J. & Mödersheim, S. A.
01/02/2019 → 31/01/2022
Project: PhD

On Using Theorem Proving for Cognitive Agent-Oriented Programming

Towards Verifying a Blocks World for Teams GOAL Agent

Towards Verifying GOAL Agents in Isabelle/HOL

A Verification Framework for GOAL Agents.

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest

Logical Foundations of Al Algorithms