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 Bruntse; 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

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

    Preproceedings of the 29th Benelux Conference on Artifcial Intelligence. 2017. p. 393-385.

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

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

  6. Published

    Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. / Villadsen, Jørgen; Schlichtkrull, Anders.

    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV. Springer, 2017. p. 92-122 (Lecture Notes in Computer Science, Vol. 10620).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2017

  7. Published

    Leading the Teacher Team - Balancing Between Formal and Informal Power in Program Leadership. / Högfeldt, Anna-Karin; Malmi, Lauri; Kinnunen, Päivi; Jerbrant, Anna; Strömberg, Emma; Berglund, Anders; Villadsen, Jørgen.

    In: Tertiary Education and Management, 2017.

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

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

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

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

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

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