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.

Research Output

Filter
Article in proceedings
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

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

2018

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
166 Downloads (Pure)

Formalization of First-Order Syntactic Unification

Brandt, K. F., Schlichtkrull, A. & Villadsen, J., 2018, 32nd International Workshop on Unification (UNIF 2018) — Informal Proceedings . The International Unification Workshop (UNIF), 7 p. P9

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

Open Access
File
134 Downloads (Pure)

Querying Social Practices in Hospital Context

Larsen, J. B., Dignum, V., Villadsen, J. & Dignum, F., 2018, Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. SCITEPRESS Digital Library, p. 405-412

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

Open Access
File
193 Downloads (Pure)
2017

An Approach for Hospital Planning with Multi-Agent Organizations

Larsen, J. B. & Villadsen, J., 2017, Preproceedings of the 29th Benelux Conference on Artifcial Intelligence. p. 383-385

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

2 Downloads (Pure)

An Approach for Hospital Planning with Multi-Agent Organizations

Larsen, J. B. & Villadsen, J., 2017, Rough Sets. Springer, Vol. 10314. p. 454-465 (Lecture Notes in Computer Science, Vol. 10314).

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

Open Access
File
224 Downloads (Pure)

Logical Entity Level Sentiment Analysis

Petersen, N. C. & Villadsen, J., 2017, International Conference on Formal Grammar. Foret, A., Muskens, R. & Pogodalla, S. (eds.). Springer, p. 54-71 (Lecture Notes in Computer Science, Vol. 10686).

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

Open Access
File
235 Downloads (Pure)
2016

Code Generation for a Simple First-Order Prover

Villadsen, J., Schlichtkrull, A. & From, A. H., 2016, Proceedings of the Isabelle Workshop 2016. 15 p.

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

Open Access
File
147 Downloads (Pure)

ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

Villadsen, J., 2016, Proceedings of the ETALEE 2015 Conference: Exploring Teaching for Active Learning in Engineering Education . Røn, J. B. (ed.). IUPN - Ingeniør Uddannelsernes Pædagogiske Netværk, p. 39-44

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

Open Access
File
56 Downloads (Pure)

Verication of an LCF-Style First-Order Prover with Equality

Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2016, Proceedings of the Isabelle Workshop 2016. 15 p.

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

Open Access
File
78 Downloads (Pure)
2015

Interfacing Agents to Real-Time Strategy Games

Jensen, A. S., Kaysø-Rørdam, C. & Villadsen, J., 2015, Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015). Nowaczyk, S. (ed.). IOS Press, p. 68-77 (Frontiers in Artificial Intelligence and Applications, Vol. 278).

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

Open Access
File
224 Downloads (Pure)

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle

Villadsen, J., Jensen, A. B. & Schlichtkrull, A., 2015, Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL 2015). p. 253-262

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

Open Access
File
190 Downloads (Pure)

Plan-Belief Revision in Jason

Jensen, A. S. & Villadsen, J., 2015, Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART-2015). p. 182-189

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

Open Access
File
497 Downloads (Pure)

ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic

Villadsen, J., 2015, Exploring Teaching for Active Learning in Engineering Education (ETALEE 2015): Book of Abstracts. IUPN - Ingeniør Uddannelsernes Pædagogiske Netværk, p. 141-148

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

Open Access
File
220 Downloads (Pure)
2014

Combining Formal Logic and Machine Learning for Sentiment Analysis

Petersen, N. C. & Villadsen, J., 2014, Foundations of Intelligent Systems. Andreasen, T., Christiansen, H., Cubero, J-C. & Ras, Z. W. (eds.). Springer, p. 375-384 (Lecture Notes in Computer Science, Vol. 8502).

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

The AORTA Architecture: Integrating Organizational Reasoning in Jason

Jensen, A. S., Dignum, V. & Villadsen, J., 2014, Engineering Multi-Agent Systems. Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers. Dalpiaz, F., Dix, J. & van Riemsdijk, M. B. (eds.). Springer, p. 127-145 (Lecture Notes in Computer Science, Vol. 8758).

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

1 Downloads (Pure)

The AORTA Architecture: Integrating Organizational Reasoning in Jason

Jensen, A. S., Dignum, V. & Villadsen, J., 2014, Pre-proceedings of EMAS 2014: 2nd Workshop on Engineering Multi-Agent Systems. p. 112-128

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

File
1161 Downloads (Pure)
2013

Engineering a Multi-Agent System in GOAL

Villadsen, J., Jensen, A. S., Christensen, N. C., Hess, A. V., Johnsen, J. B., Woller, Ø. G. & Ørum, P. B., 2013, Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Springer, p. 329-338 (Lecture Notes in Computer Science, Vol. 8245).

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

Formalizing Theatrical Performances Using Multi-Agent Organizations

Jensen, A. S., Spurkeland, J. S. & Villadsen, J., 2013, Twelfth Scandinavian Conference on Artificial Intelligence. Jaeger, M. (ed.). IOS Press, p. 135-144 (Frontiers in Artificial Intelligence and Applications, Vol. 257).

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

Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems

Ahlbrecht, T., Bender-Saebelkampf, C., Brito, M., Christensen, N. C., Dix, J., Franco, M. R., Heller, H., Hess, A. V., Heßler, A., Hübner, J. F., Jensen, A. S., Johnsen, J. B., Köster, M., Li, C., Liu, L., Morato, M. M., Ørum, P. B., Schlesinger, F., Schmitz, T., Sichman, J. S. & 6 others, Souza, K. S., Uez, D. M., Villadsen, J., Werner, S., Woller, Ø. G. & Zatelli, M. R., 2013, Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Springer, p. 366-390 (Lecture Notes in Computer Science, Vol. 8245).

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

Program Leadership from a Nordic Perspective - Program Leaders' Power to Influence Their Program

Högfeldt, A-K., Strömberg, E., Jerbrant, A., Berglund, A., Hussmann, P. M., Villadsen, J., Kinnunen, P., Malmi, L., Malmqvist, J. & Baggerud, B., 2013, Proceedings of 9th International CDIO Conference. 11 p. 186

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

Open Access
File
229 Downloads (Pure)

Reimplementing a Multi-Agent System in Python

Villadsen, J., Jensen, A. S., Ettienne, M. B., Vester, S., Andersen, K. B. & Frøsig, A., 2013, Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers. Dastani, M., Hübner, J. F. & Logan, B. (eds.). Springer, p. 205-216 (Lecture Notes in Computer Science, Vol. 7837).

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

2012

Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach

Ettienne, M. B., Vester, S. & Villadsen, J., 2012, Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011 Taipei, Taiwan, May 3, 2011 Revised Selected Papers. Springer, p. 185-196 (Lecture Notes in Artificial Intelligence, Vol. 7217).

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

Paraconsistent Computational Logic

Jensen, A. S. & Villadsen, J., 2012, 8th Scandinavian Logic Symposium: Abstracts. Blackburn, P., Jørgensen, K. F., Jones, N. & Palmgren, E. (eds.). p. 59-61

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

Program Leadership from a Nordic Perspective - Managing Education Development

Högfeldt, A-K., Cornell, A., Cronhjort, M., Jerbrant, A., Lyng, R., Kantola, R., Malmi, L., Lundqvist, U., Malmqvist, J., Hussmann, P. M., Villadsen, J., Brattebø, H. & Torvatn, T., 2012, Proceedings of the 8th International CDIO Conference. 20 p.

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

File
186 Downloads (Pure)
2011

SyntaxTrain: Relieving the pain of learning syntax

Moth, A. L. A., Villadsen, J. & Ben-Ari, M., 2011, ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science.

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

2006

Natural Language Processing Using Lexical and Logical Combinators

Ortiz, J. F. & Villadsen, J., 2006, International Conference on Logic Programming. Vol. Lecture Notes in Computer Science, vol. 4079. p. 444-446

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

Nominalization in Intensional Type Theory

Villadsen, J., 2006, IEEE Symposium on Logic in Computer Science - Short Presentation.

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

2004

A Paraconsistent Higher Order Logic

Villadsen, J., 2004, A Paraconsistent Higher Order Logic: Artificial Intelligence and Symbolic Computation. Springer, p. 38-51 (Lecture Notes in Computer Science, Vol. 3249).

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

A Paraconsistent Higher Order Logic

Villadsen, J. & Decker, H. (ed.), 2004, International Workshop on Paraconsistent Computational Logic. p. 33-49 (Roskilde University, Computer Science, Technical Reports, Vol. 95).

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

Paraconsistent Assertions

Villadsen, J., 2004, Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004. Proceedings. Springer, p. 99-113 (Lecture Notes in Computer Science, Vol. 3187).

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

2003

Operational Semantics of an Imperative Language in Definite Clauses

Villadsen, J., 2003, 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003. Buccafurri, F. (ed.). p. 337-349

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

File
47 Downloads (Pure)

User Interfaces for Automated Reasoning Systems

Villadsen, J., 2003, Proceedings of the Third Danish Human-Computer Interaction Research Symposium. p. 95-98

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

2002

International Workshop on Paraconsistent Computational Logic

Decker, H., Villadsen, J. & Waragai, T., 2002, Proceedings of the International Workshop on Paraconsistent Computational Logic. Datalogiske tidsskrifter, Roskilde University, Denmark

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

Paraconsistent Knowledge Bases and Many-Valued Logic

Villadsen, J. & Haav, H-M. (ed.), 2002, International Baltic Conference on Databases and Information Systems. p. 77-90

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

Paraconsistent Query Answering Systems

Villadsen, J. & Andreasen et al., T. (ed.), 2002, International Conference on Flexible Query Answering Systems: Lecture notes in computer science, vol. 2522. Springer, p. 370-384

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

2001

Combinators for Paraconsistent Attitudes

Villadsen, J., 2001, Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001, Proceedings. de Groote, P., Morrill, G. & Retoré, C. (eds.). Springer, p. 261-278

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

Meaning and Partiality Revised

Villadsen, J. & Lund et al., H. H. (ed.), 2001, Seventh Scandinavian Conference on Artificial Intelligence, SCAI'01. IOS Press, p. 163-164

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

On Programs in Rational Agents

Villadsen, J., 2001, NWPT'01 Nordic Workshop on Programming Theory, 10-12 October, 2001, Technical University of Denmark. 8 p.

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