First-Order Logic According to Harrison. - Alexander Birch Jensen; Anders Schlichtkrull; Jørgen Villadsen (Arch. Formal Proofs, 2017)

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. - Jørgen Villadsen; Alexander Birch Jensen; Anders Schlichtkrull (FLAP, 2017)

Programming and verifying a declarative first-order prover in Isabelle/HOL. - Alexander Birch Jensen; John Bruntse Larsen; Anders Schlichtkrull; Jørgen Villadsen (AI Commun., 2018)

Teaching a Formalized Logical Calculus. - Asta Halkjær From; Alexander Birch Jensen; Anders Schlichtkrull; Jørgen Villadsen (ThEdu@CADE, 2019)

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest. - Alexander Birch Jensen; Jørgen Villadsen (The Multi-Agent Programming Contest, 2019)

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest. - Alexander Birch Jensen; Jørgen Villadsen (CoRR, 2020)

A Theorem Proving Approach to Formal Verification of a Cognitive Agent. - Alexander Birch Jensen (DCAI (1), 2021)

Towards Verifying a Blocks World for Teams GOAL Agent. - Alexander Birch Jensen (ICAART (1), 2021)

Towards Verifying GOAL Agents in Isabelle/HOL. - Alexander Birch Jensen (ICAART (1), 2021)

On using Theorem Proving for Cognitive Agent-oriented Programming. - Alexander Birch Jensen; Koen V. Hindriks; Jørgen Villadsen (ICAART (1), 2021)

Machine-checked Verification of Cognitive Agents. - Alexander Birch Jensen (ICAART (1), 2022)