Research output per year
Research output per year
Personal profile
Other information
Centre for Mathematics and Computer Science (CWI), Amsterdam (6 months).
Dae Duck Electronics (IAESTE), South Korea (2 months).
European Organization for Nuclear Research (CERN), Geneve (3 months).
Davies's School of English (EUROCENTRES), London (1 month).
Institute of National Research Council of Italy (CNUCE), Pisa (2 months).
Language Skills:
Danish
English
Research areas
Logic
-Automated Reasoning
-Constraint Based Tools
-Natural Language Processing
-Security
Education/Academic qualification
PhD in Computer Science, Technical University of Denmark
1989 → 1995
MSc in Computer Science, Technical University of Denmark
1984 → 1989
External positions
Associate Professor, Technical University of Denmark
2006 → …Associate Professor, Roskilde University
2002 → 2006Assistant Professor, Technical University of Denmark
1999 → 2002Software Engineer, Prolog Development Center
… → 1999Keywords
- User defined:
Fingerprint
Dive into the research topics where Jørgen Villadsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 10 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
On Using Theorem Proving for Cognitive Agent-Oriented Programming
Jensen, A. B., Hindriks, K. V. & Villadsen, J., 2021, Proceedings of the 13th International Conference on Agents and Artificial Intelligence. Rocha, A. P., Steels, L. & van den Herik, J. (eds.). Science and Technology Publishing, Vol. 1. p. 446-453Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
A Concise Sequent Calculus for Teaching First-Order Logic
From, A. H. & Villadsen, J., 2020. 16 p.Research output: Contribution to conference › Paper › Research › peer-review
Open AccessFile82 Downloads (Pure) -
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
-
A Micro Prover for Teaching Automated Reasoning
Villadsen, J., 2020. 12 p.Research output: Contribution to conference › Paper › Research › peer-review
Open AccessFile17 Downloads (Pure) -
Formalizing a Seligman-Style Tableau System for Hybrid Logic: (Short Paper)
From, A. H., Blackburn, P. & Villadsen, J., 1 Jan 2020, Proceedings of 10th International Joint Conference Automated Reasoning. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 474-481 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12166 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
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