Alexander Birch Jensen

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 10

Top Topics

Quantifier Elimination

First Order Logic

Natural Deduction

Theorem Proving

Top Venues

Arch. Formal Proofs

Publications

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