Jørgen Villadsen

  1. 2018
  2. Published

    Multi-Agent Programming Contest 2016 – The Python-DTU Team. / Villadsen, Jørgen; Halkjær From, Andreas ; Jacobi, Salvador ; Larsen, Nikolaj Nøkkentved .

    In: International Journal of Agent-Oriented Software Engineering, Vol. 6, No. 1, 2018, p. 86-100.

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

  3. Published

    Natural Deduction and the Isabelle Proof Assistant. / Villadsen, Jørgen; From, Andreas Halkjær; Schlichtkrull, Anders.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 267, 2018, p. 140-155.

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

  4. Published

    Querying Social Practices in Hospital Context. / Larsen, John Bruntse; Dignum, Virginia; Villadsen, Jørgen; Dignum, Frank.

    Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. SCITEPRESS Digital Library, 2018. p. 405-412.

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

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

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

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

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

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

  10. Published

    Formalization of Many-Valued Logics. / Villadsen, Jørgen; Schlichtkrull, Anders.

    Partiality and Underspecification in Information, Languages, and Knowledge. ed. / Henning Christiansen; M. Dolores Jiménez-López; Roussanka Loukanova; Lawrence S. Moss. Cambridge Scholars Press, 2017. p. 219-256.

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

  11. Published

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

    In: LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems, Vol. 34, 2017, p. 92-122.

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

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

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