Jørgen Villadsen

Jørgen Villadsen

Associate Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 020

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Courses
CV
Loading

Publications rss feed

2019
  PDF

Natural Deduction Assistant (NaDeA)

Villadsen, Jørgen ; From, Andreas Halkjær ; Schlichtkrull, Anders
in: Electronic Proceedings in Theoretical Computer Science, vol: 290, pages: 14–29
Presented at:
International Workshop on Theorem proving components for Educational software

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.4204/EPTCS.290.2

  PDF

Students’ Proof Assistant (SPA)

Schlichtkrull, Anders ; Villadsen, Jørgen ; From, Andreas Halkjær
in: Electronic Proceedings in Theoretical Computer Science, vol: 290, pages: 1–13
Presented at:
International Workshop on Theorem proving components for Educational software

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2019     |    DOI: https://doi.org/10.4204/EPTCS.290.1

2018
  PDF

A Verified Simple Prover for First-Order Logic

Villadsen, Jørgen ; Schlichtkrull, Anders ; From, Andreas Halkjær
part of: Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR), pages: 88—104, 2018, CEUR-WS
Presented at:
6th Workshop on Practical Aspects of Automated Reasoning (PAAR)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018

  PDF

Drawing Trees

From, Andreas Halkjær ; Schlichtkrull, Anders ; Villadsen, Jørgen
Presented at:
Isabelle Workshop 2018

Type: Paper (Peer reviewed)

Status: Published     |    Year: 2018

  PDF

Engineering a Multi-Agent System in Jason and CArtAgO

Villadsen, Jørgen ; Fleckenstein, Oliver ; Hatteland, Helge ; Larsen, John Bruntse
in: Annals of Mathematics and Artificial Intelligence, vol: 84, issue: 1-2, pages: 57–74

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1007/s10472-018-9588-8

  PDF

Formalization of First-Order Syntactic Unification

Brandt, Kasper Fabæch ; Schlichtkrull, Anders ; Villadsen, Jørgen
part of: 32nd International Workshop on Unification (UNIF 2018) — Informal Proceedings , 2018, The International Unification Workshop (UNIF)
Presented at:
32nd International Workshop on Unification

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2018

 

Leading the Teacher Team - Balancing Between Formal and Informal Power in Program Leadership

Högfeldt, Anna-Karin ; Malmi, Lauri ; Kinnunen, Päivi ; Jerbrant, Anna ; Strömberg, Emma ; Berglund, Anders ; Villadsen, Jørgen
in: Tertiary Education and Management, vol: 24, issue: 1, pages: 49-65

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1080/13583883.2017.1384052

  PDF

Multi-Agent Programming Contest 2016 – The Python-DTU Team

Villadsen, Jørgen ; From, Andreas Halkjær ; Jacobi, Salvador ; Larsen, Nikolaj Nøkkentved
in: International Journal of Agent-Oriented Software Engineering, vol: 6, issue: 1, pages: 86-100

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.1504/IJAOSE.2018.10010604

  PDF

Natural Deduction and the Isabelle Proof Assistant

Villadsen, Jørgen ; From, Andreas Halkjær ; Schlichtkrull, Anders
in: Electronic Proceedings in Theoretical Computer Science, vol: 267, pages: 140-155
Presented at:
6th International Workshop
on Theorem proving components for Educational software

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2018     |    DOI: https://doi.org/10.4204/EPTCS.267.9

  PDF

Natural Deduction Assistant (NaDeA)

Villadsen, Jørgen ; From, Andreas Halkjær ; Schlichtkrull, Anders
Presented at:
International Workshop on Theorem proving components for Educational software

Type: Paper (Peer reviewed)

Status: Published     |    Year: 2018