Alexander Birch Jensen | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jørgen Villadsen
12 publications
Asta Halkjær From
4 publications
Anders Schlichtkrull
4 publications

research

∙ 06/11/2020

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

We provide a brief description of the GOAL-DTU system for the agent cont...

0 Alexander Birch Jensen, et al. ∙

research

∙ 02/28/2020

Teaching a Formalized Logical Calculus

Classical first-order logic is in many ways central to work in mathemati...

0 Asta Halkjær From, et al. ∙