Jørgen Villadsen

  1. 2017
  2. Published

    A Framework for Organization-Aware Agents. / Jensen, Andreas Schmidt; Dignum, Virginia; Villadsen, Jørgen.

    In: Autonomous Agents and Multi-Agent Systems, Vol. 31, No. 3, 2017, p. 387–422.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

  3. Published

    An Approach for Hospital Planning with Multi-Agent Organizations. / Larsen, John; Villadsen, Jørgen.

    Rough Sets. Vol. 10314 Springer, 2017. p. 454-465 (Lecture Notes in Computer Science, Vol. 10314).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  4. Published

    First-Order Logic According to Harrison. / Jensen, Alexander Birch; Schlichtkrull, Anders; Villadsen, Jørgen.

    In: The Archive of Formal Proofs , 2017, p. 1-66.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  5. Published

    NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. / Villadsen, Jørgen; Jensen, Alexander Birch; Schlichtkrull, Anders.

    In: IfCoLog Journal of Logics and their Applications, Vol. 4, No. 1, 2017, p. 55-82.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  6. 2016
  7. Published

    A Framework for Organization-Aware Agents : JAAMAS Extended Abstract. / Jensen, Andreas Schmidt; Dignum, Virginia; Villadsen, Jørgen.

    Proceedings of the 15th International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016). Association for Computing Machinery, 2016. p. 1133-1134.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2016

  8. Published

    Code Generation for a Simple First-Order Prover. / Villadsen, Jørgen; Schlichtkrull, Anders; Halkjær From, Andreas .

    Proceedings of the Isabelle Workshop 2016. 2016.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  9. Published

    Paraconsistency. / Schlichtkrull, Anders; Villadsen, Jørgen.

    In: The Archive of Formal Proofs , 2016, p. 1-27.

    Publication: Research - peer-reviewJournal article – Annual report year: 2016

  10. Published

    ProofJudge: Automated Proof Judging Tool for Learning Mathematical Logic. / Villadsen, Jørgen.

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

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

  11. Published

    Running a Prover in a Prover - Isabelle as a Meta-Logic. / Villadsen, Jørgen.

    2016. Abstract from CADILLAC Workshop, Copenhagen, Denmark.

    Publication: Research - peer-reviewConference abstract for conference – Annual report year: 2016

  12. Published

    Verication of an LCF-Style First-Order Prover with Equality. / Jensen, Alexander Birch; Schlichtkrull, Anders; Villadsen, Jørgen.

    Proceedings of the Isabelle Workshop 2016. 2016.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2016

Previous 1 2 3 4 5 6 7 8 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word