Alexander Birch Jensen

12 papers Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2022 — conf
Machine-checked Verification of Cognitive Agents.
ICAART (1)
Alexander Birch Jensen
2021 — conf
A Theorem Proving Approach to Formal Verification of a Cognitive Agent.
DCAI (1)
Alexander Birch Jensen
2021 — conf
On using Theorem Proving for Cognitive Agent-oriented Programming.
ICAART (1)
Alexander Birch Jensen, Koen V. Hindriks, Jørgen Villadsen
2021 — conf
Towards Verifying GOAL Agents in Isabelle/HOL.
ICAART (1)
Alexander Birch Jensen
2021 — conf
Towards Verifying a Blocks World for Teams GOAL Agent.
ICAART (1)
Alexander Birch Jensen
2020 J jnl
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest.
CoRR
Alexander Birch Jensen, Jørgen Villadsen
2019 — ch.
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest.
The Multi-Agent Programming Contest
Alexander Birch Jensen, Jørgen Villadsen
2019 — conf
Teaching a Formalized Logical Calculus.
ThEdu@CADE
Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
2018 J jnl
Programming and verifying a declarative first-order prover in Isabelle/HOL.
AI Commun.
Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull, Jørgen Villadsen
2017 J jnl
First-Order Logic According to Harrison.
Arch. Formal Proofs
Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
2017 J jnl
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.
FLAP
Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull
2015 J jnl
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.
CoRR
Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull