Research Output per year
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 proceeding › Article in proceedings › Research › peer-review
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
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 proceeding › Article in proceedings › Research › peer-review
Open Access
File
Drawing Trees
From, A. H., Schlichtkrull, A. & Villadsen, J., 2018. 7 p.Research output: Contribution to conference › Paper › Research › peer-review
Open Access
File
Projects 1989 2022
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
Organization-Oriented Programming in Multi-Agent Systems
Jensen, A. S., Villadsen, J., Bolander, T., Christiansen, H. & Hindriks, K. V.
Technical University of Denmark
15/03/2012 → 21/09/2015
Project: PhD