Photo of Jørgen Villadsen
  • Richard Petersens Plads, 322, 020

    2800 Kgs. Lyngby

    Denmark

1989 …2023

Research output per year

If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A Data Driven Agent Elicitation Pipeline for Prediction Models

Larsen, J. B., Burattin, A., Davis, C. J., Hjardem-Hansen, R. & Villadsen, J., 2020, Business Process Management Workshops. Di Francescomarino, C., Dijkman, R. & Zdun, U. (eds.). Springer, p. 570-582 (Lecture Notes in Business Information Processing, Vol. 362).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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

Villadsen, J., Bjørn, M. O., From, A. H., Henney, T. S. & Larsen, J. B., 2020, The Multi-Agent Programming Contest 2018. Ahlbrecht, T., Dix, J. & Fiekas, N. (eds.). Springer, p. 41-71 (Lecture Notes in Computer Science, Vol. 11957).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Teaching a Formalized Logical Calculus

From, A. H., Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2020, In : Electronic Proceedings in Theoretical Computer Science. 313, p. 73-92

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Natural Deduction Assistant (NaDeA)

Villadsen, J., From, A. H. & Schlichtkrull, A., 2019, In : Electronic Proceedings in Theoretical Computer Science. 290, p. 14–29

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
109 Downloads (Pure)

Students’ Proof Assistant (SPA)

Schlichtkrull, A., Villadsen, J. & From, A. H., 2019, In : Electronic Proceedings in Theoretical Computer Science. 290, p. 1–13

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
110 Downloads (Pure)

Projects