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
Journal article
2020

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-92

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
32 Downloads (Pure)
2019

Natural Deduction Assistant (NaDeA)

Villadsen, J., From, A. H. & Schlichtkrull, A., 2019, In : Electronic Proceedings in Theoretical Computer Science. 290, p. 14–29

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
154 Downloads (Pure)

Students’ Proof Assistant (SPA)

Schlichtkrull, A., Villadsen, J. & From, A. H., 2019, In : Electronic Proceedings in Theoretical Computer Science. 290, p. 1–13

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
147 Downloads (Pure)
2018

Engineering a Multi-Agent System in Jason and CArtAgO

Villadsen, J., Fleckenstein, O., Hatteland, H. & Larsen, J. B., 2018, In : Annals of Mathematics and Artificial Intelligence. 84, 1-2, p. 57–74

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
116 Downloads (Pure)

Leading the Teacher Team - Balancing Between Formal and Informal Power in Program Leadership

Högfeldt, A-K., Malmi, L., Kinnunen, P., Jerbrant, A., Strömberg, E., Berglund, A. & Villadsen, J., 2018, In : Tertiary Education and Management. 24, 1, p. 49-65

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Multi-Agent Programming Contest 2016 – The Python-DTU Team

Villadsen, J., From, A. H., Jacobi, S. & Larsen, N. N., 2018, In : International Journal of Agent-Oriented Software Engineering. 6, 1, p. 86-100

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
482 Downloads (Pure)

Natural Deduction and the Isabelle Proof Assistant

Villadsen, J., From, A. H. & Schlichtkrull, A., 2018, In : Electronic Proceedings in Theoretical Computer Science. 267, p. 140-155

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
200 Downloads (Pure)

Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL

Jensen, A. B., Larsen, J. B., Schlichtkrull, A. & Villadsen, J., 2018, In : AI Communications. 31, 3, p. 281-299

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
417 Downloads (Pure)
2017

A Framework for Organization-Aware Agents

Jensen, A. S., Dignum, V. & Villadsen, J., 2017, In : Autonomous Agents and Multi-Agent Systems. 31, 3, p. 387–422

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
255 Downloads (Pure)

First-Order Logic According to Harrison

Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2017, In : Archive of Formal Proofs. p. 1-66

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
194 Downloads (Pure)

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant

Villadsen, J. & Schlichtkrull, A., 2017, In : Transactions on Large-Scale Data- and Knowledge-Centered Systems. 34, p. 92-122

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
363 Downloads (Pure)

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle

Villadsen, J., Jensen, A. B. & Schlichtkrull, A., 2017, In : IfCoLog Journal of Logics and their Applications. 4, 1, p. 55-82

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
267 Downloads (Pure)
2016

Paraconsistency

Schlichtkrull, A. & Villadsen, J., 2016, In : Archive of Formal Proofs. p. 1-27

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
68 Downloads (Pure)
2013

A Comparison of Organization-Centered and Agent-Centered Multi-Agent Systems

Jensen, A. S. & Villadsen, J., 2013, In : Artificial Intelligence Research. 2, 3, p. 59-69

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
266 Downloads (Pure)

Belief Revision in the GOAL Agent Programming Language

Spurkeland, J. S., Jensen, A. S. & Villadsen, J., 2013, In : ISRN Artificial Intelligence. 2013, 11 p., 632319.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
361 Downloads (Pure)
2011

Improving Multi-Agent Systems Using Jason

Vester, S., Boss, N. S., Jensen, A. S. & Villadsen, J., 2011, In : Annals of Mathematics and Artificial Intelligence. 61, 4, p. 297-307

Research output: Contribution to journalJournal articleResearchpeer-review

2010

Building Multi-Agent Systems Using Jason

Boss, N. S., Jensen, A. S. & Villadsen, J., 2010, In : Annals of Mathematics and Artificial Intelligence. 59, 3-4, p. 373-388

Research output: Contribution to journalJournal articleResearchpeer-review

2005

Supra-logic: using transfinite type theory with type variables for paraconsistency

Villadsen, J., 2005, In : Journal of Applied Non-Classical Logics. 15, 1, p. 45-58

Research output: Contribution to journalJournal articleResearchpeer-review