Research output per year
Research output per year
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Theorem Proving Approach to Formal Verification of a Cognitive Agent
Jensen, A. B., 2022, Distributed Computing and Artificial Intelligence. Matsui, K., Omatu, S., Yigitcanlar, T. & González, S. R. (eds.). Springer, p. 1-11 (Lecture Notes in Networks and Systems, Vol. 327 LNNS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Interactive Theorem Proving for Logic and Information
Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence. Springer, Vol. 999. p. 25-48 (Studies in Computational Intelligence, Vol. 999).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Open AccessFile40 Downloads (Pure) -
Formalized Soundness and Completeness of Epistemic Logic
From, A. H., Jensen, A. B. & Villadsen, J., 2021, Proceedings of International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning. 3 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile19 Downloads (Pure) -
On Using Theorem Proving for Cognitive Agent-Oriented Programming
Jensen, A. B., Hindriks, K. V. & Villadsen, J., 2021, Proceedings of the 13th 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-453Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Student Paper: Formal Verification of a Cognitive Agent Using Theorem Proving
Jensen, A. B., 2021, Proceedings of 9th International Workshop on Engineering Multi-Agent Systems. 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile50 Downloads (Pure)
Projects
- 1 Finished
-
Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J., Mödersheim, S. A., Gierasimczuk, N., Dix, J. & Traytel, D.
01/02/2019 → 14/02/2022
Project: PhD