Jørgen Villadsen

  1. 2017
  2. 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

  3. 2016
  4. E-pub ahead of print

    A framework for organization-aware agents. / Jensen, Andreas Schmidt; Dignum, Virginia; Villadsen, Jørgen.

    In: Autonomous Agents and Multi-Agent Systems, 2016, p. 1-36.

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

  5. 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

  6. 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

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

  8. 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

  9. 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

  10. 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

  11. 2015
  12. Published

    Interfacing Agents to Real-Time Strategy Games. / Jensen, Andreas Schmidt; Kaysø-Rørdam, Christian; Villadsen, Jørgen.

    Proceedings of the 13th Scandinavian Conference on Artificial Intelligence (SCAI 2015). ed. / S. Nowaczyk. IOS Press, 2015. p. 68-77 (Frontiers in Artificial Intelligence and Applications, Vol. 278).

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

  13. Published

    Meta-Logical Reasoning in Higher-Order Logic. / Villadsen, Jørgen; Schlichtkrull, Anders; Hess, Andreas Viktor.

    2015. Poster session presented at LOGICA 2015 - 29th Annual International Symposia Devoted to Logic, Hejnice, Czech Republic.

    Publication: Research - peer-reviewPoster – Annual report year: 2015

Previous 1 2 3 4 5 6 7 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