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

2020
 

A Data Driven Agent Elicitation Pipeline for Prediction Models

Larsen, John Bruntse ; Burattin, Andrea ; Davis, Christopher John ; Hjardem-Hansen, Rasmus ; Villadsen, Jørgen
part of: Business Process Management Workshops, pages: 570-582, 2020, Springer
Presented at:
17th Int. Conference on Business Process Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-37453-2_46

 

Multi-Agent Programming Contest 2018—The Jason-DTU Team

Villadsen, Jørgen ; Bjørn, Mads Okholm ; From, Andreas Halkjær ; Henney, Thomas Søren ; Larsen, John Bruntse
part of: The Multi-Agent Programming Contest 2018, pages: 41-71, 2020, Springer
Presented at:
The Multi-Agent Programming Contest 2018

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.1007/978-3-030-37959-9_3

  PDF

Teaching a Formalized Logical Calculus

From, Andreas Halkjær ; Jensen, Alexander Birch ; Schlichtkrull, Anders ; Villadsen, Jørgen
in: Electronic Proceedings in Theoretical Computer Science, vol: 313, pages: 73-92
Presented at:
8th International Workshop on Theorem Proving Components for Educational Software

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2020     |    DOI: https://doi.org/10.4204/EPTCS.313.5

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