Jørgen Villadsen

View Scopus Profile

Jørgen Villadsen

 https://orcid.org/0000-0003-3624-1159

  • Richard Petersens Plads, 322, 020

    2800 Kgs. Lyngby

    Denmark

If you made any changes in Pure these will be visible here soon.
Filter
Article in proceedings

Search results

  • 2022

    A Case Study in Computer-Assisted Meta-reasoning

    From, A. H., Lund, S. T. & Villadsen, J., 2022, Distributed Computing and Artificial Intelligence: Special Sessions: 18th International Conference. González, S. R., Machado, J. M., González-Briones, A., Wikarek, J., Loukanova, R., Katranas, G. & Casado-Vara, R. (eds.). Springer, Vol. 2. p. 53-63 (Lecture Notes in Networks and Systems, Vol. 332).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Lessons of Teaching Formal Methods with Isabelle

    Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of Isabelle Workshop 2022. 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    18 Downloads (Pure)

  • On Axiomatic Systems for Classical Propositional Logic

    Eschen, A. M. & Villadsen, J., 2022, Proceedings of Isabelle Workshop 2022. 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    6 Downloads (Pure)

  • On Verified Automated Reasoning in Propositional Logic

    Lund, S. T. & Villadsen, J., 2022, Intelligent Information and Database Systems.. Springer, p. 390–402 (Lecture Notes in Computer Science, Vol. 13757).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    60 Downloads (Pure)

  • SeCaV: A Sequent Calculus Verifier in Isabelle/HOL

    From, A. H., Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of 16th Logical and Semantic Frameworks with Applications. Open Publishing Association, Vol. 357. p. 38-55 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 357).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    6 Downloads (Pure)

  • Teaching Functional Programmers Logic and Metatheory

    Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of Tenth and Eleventh International Workshop on Trends in Functional Programming In Education. Achten, P. & Machkasova, E. (eds.). p. 74–92 (Electronic Proceedings in Theoretical Computer Science, Vol. 363).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    11 Downloads (Pure)

  • Teaching Logic for Computer Science Students: Proof Assistants and Related Tools

    Jacobsen, F. K. & Villadsen, J., 2022, Proceedings of LogTeach-22. 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    1 Downloads (Pure)
  • 2021

    A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL

    From, A. H., Schlichtkrull, A. & Villadsen, J., 2021, Proceedings of the 36th Italian Conference on Computational Logic. CEUR-WS, p. 107-121 (CEUR Workshop Proceedings, Vol. 3002).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    59 Downloads (Pure)

  • Formalized Soundness and Completeness of Epistemic Logic

    From, A. H., Jensen, A. B. & Villadsen, J., 2021, Proceedings of International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning. 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    59 Downloads (Pure)

  • Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL

    From, A. H., Eschen, A. M. & Villadsen, J., 2021, Intelligent Computer Mathematics . Springer, p. 32-46 (Lecture Notes in Computer Science, Vol. 12833).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    76 Downloads (Pure)

  • On the Use of Isabelle/HOL for Formalizing New Concise Axiomatic Systems for Classical Propositional Logic

    From, A. H. & Villadsen, J., 2021, Proceedings of 27th International Conference on Types for Proofs and Programs. 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    12 Downloads (Pure)

  • 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-453

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Teaching Automated Reasoning and Formally Verified Functional Programming in Agda and Isabelle/HOL

    From, A. H. & Villadsen, J., 2021, Proceedings of the 10th International Workshop on Trends in Functional Programming in Education. 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    39 Downloads (Pure)

  • Using Isabelle in Two Courses on Logic and Automated Reasoning

    Villadsen, J. & Jacobsen, F. K., 2021, Formal Methods Teaching. Springer, p. 117-132 (Lecture Notes in Computer Science, Vol. 13122).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    179 Downloads (Pure)
  • 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

    Open Access
    File
    25 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

  • GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest

    Jensen, A. B. & Villadsen, J., 2020, The Multi-Agent Programming Contest 2019. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausburg, T. (eds.). Springer, p. 79-105 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12381 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Isabelle/HOL as a Meta-Language for Teaching Logic

    From, A. H., Villadsen, J. & Blackburn, P., 2020, Proceedings 9th International Workshop on Theorem Proving Components for Educational Software. Marcos, J., Neuper, W. & Quaresma, P. (eds.). Open Publishing Association, p. 18–34 (Electronic Proceedings in Theoretical Computer Science, Vol. 328).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    76 Downloads (Pure)

  • 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

    Open Access
    File
    27 Downloads (Pure)

  • Tautology Checkers in Isabelle and Haskell

    Villadsen, J., 2020, Proceedings of the 35th Italian Conference on Computational Logic. Calimeri, F., Perri, S. & Zumpano, E. (eds.). CEUR-WS, p. 327-341 (CEUR Workshop Proceedings, Vol. 2710).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    312 Downloads (Pure)
  • 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    342 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    261 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    290 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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    362 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    497 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    251 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    103 Downloads (Pure)

  • Verification 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    140 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    305 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    303 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    950 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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    304 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 proceeding › Article in proceedings › Research › peer-review

  • 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 proceeding › Article in proceedings › Research › peer-review

    File
    1840 Downloads (Pure)

  • 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 proceeding › Article in proceedings › Research › peer-review

    1 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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 othersSouza, 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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    327 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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-review

    File
    259 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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-review