Research Output per year
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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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-92Research output: Contribution to journal › Journal article › Research › peer-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–29Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
File
Students’ Proof Assistant (SPA)
Schlichtkrull, A., Villadsen, J. & From, A. H., 2019, In : Electronic Proceedings in Theoretical Computer Science. 290, p. 1–13Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
File
Projects
Formally Correct Deduction Methods for Computational Logic
From, A. H., Villadsen, J. & Gierasimczuk, N.
01/02/2020 → 31/01/2023
Project: PhD
Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J. & Mödersheim, S. A.
01/02/2019 → 31/01/2022
Project: PhD
Hospital Staff Planning with Multi-Agent Goals
Larsen, J. B., Villadsen, J., Carstens, N., Holst, C. K., Gierasimczuk, N., Rosendahl, M. & Dix, J.
01/09/2016 → 11/12/2019
Project: PhD
Composec: Secure Composition of Distributed Systems
Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.
01/10/2015 → 12/12/2018
Project: PhD
Formalization of Algorithms and Logical inference Systems in Proof Assistants
Schlichtkrull, A., Villadsen, J., Blanchette, J. C., Bolander, T., Mödersheim, S. A., Bengtson, J. & Nipkow, T.
Technical University of Denmark
15/09/2015 → 14/11/2018
Project: PhD