Jørgen Villadsen

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

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

  4. Published

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

    Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL 2015). 2015. p. 253-262.

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

  5. Published

    Plan-Belief Revision in Jason. / Jensen, Andreas Schmidt; Villadsen, Jørgen.

    Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART-2015). 2015. p. 182-189.

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

  6. Published

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

    Exploring Teaching for Active Learning in Engineering Education (ETALEE 2015): Book of Abstracts. IUPN - Ingeniør Uddannelsernes Pædagogiske Netværk, 2015. p. 141-148.

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

  7. Published

    The AORTA Reasoning Framework - Adding Organizational Reasoning to Agents. / Jensen, Andreas Schmidt; Villadsen, Jørgen (Supervisor).

    Kgs. Lyngby : Danmarks Tekniske Universitet (DTU), 2015. 197 p. (DTU Compute PHD-2015, Vol. 372).

    Publication: ResearchPh.D. thesis – Annual report year: 2015

  8. 2014
  9. Published

    Combining Formal Logic and Machine Learning for Sentiment Analysis. / Petersen, Niklas Christoffer ; Villadsen, Jørgen.

    Foundations of Intelligent Systems. ed. / T. Andreasen; H. Christiansen; J.-C. Cubero; Z.W. Ras. Springer, 2014. p. 375-384 (Lecture Notes in Computer Science, Vol. 8502).

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

  10. Published

    Constraints and Language. / Blache, Philippe (Editor); Christiansen, Henning (Editor); Dahl, Verónica (Editor); Duchier, Denys (Editor); Villadsen, Jørgen (Editor).

    Cambridge Scholars Press, 2014. 325 p.

    Publication: Research - peer-reviewBook – Annual report year: 2014

  11. Published

    Constraints in (Computational) Linguistics. / Blache, Philippe; Villadsen, Jørgen.

    Constraints and Language. ed. / Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Cambridge Scholars Press, 2014. p. 3-20.

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

  12. Published

    Multi-dimensional Type Theory: Rules, Categories and Combinators for Syntax and Semantics. / Villadsen, Jørgen.

    Constraints and Language. ed. / Philippe Blache; Henning Christiansen; Verónica Dahl; Denys Duchier; Jørgen Villadsen. Cambridge Scholars Press, 2014. p. 167-189.

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

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