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

    2800 Kgs. Lyngby

    Denmark

1989 …2022
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 2001 2020

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

101 Downloads (Pure)

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
101 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

A Verified Simple Prover for First-Order Logic

Villadsen, J., Schlichtkrull, A. & From, A. H., 2018, Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR). Konev, B., Urban, J. & Rümmer, P. (eds.). CEUR-WS, p. 88—104 (CEUR Workshop Proceedings, Vol. 2162).

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

Open Access
File

Drawing Trees

From, A. H., Schlichtkrull, A. & Villadsen, J., 2018. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Projects 1989 2022