Office for Study Programmes and Student Affairs

  1. 2016
  2. Accepted/In press

    Supply reliability and dynamic safety analysis of an alternative energy supply chain. / Herbert-Hansen, Zaza Nadja Lee; Markert, Frank; Jacobsen, Peter; Schmidt, Andreas Strøjer Tynan; Touray, Ebou.

    Proceedings of the 26th European Safety and Reliability Conference (ESREL 2016). 2016.

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

  3. Published

    Synthetic Completeness Proofs for Seligman-style Tableau Systems. / Jørgensen, Klaus Frovin; Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben.

    Proceedings of Advances in Modal Logic (AiML 2016). College Publications, 2016. (Advances in Modal Logic, Vol. 11).

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

  4. Published

    Teaching Philosophy Game - A Way to Clarify Values, Attitudes, and Preferences Related to Teaching. / Christiansen, Birgitte Lund; Hansen, Claus Thorp; Jensen, Lars Bogø.

    2016. Abstract from 12th CDIO Annual International Conference, Turku, Finland.

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

  5. Published
  6. 2015
  7. Published

    Active Learning in Sustainability Teaching. / Laurent, Alexis; Olsen, Stig Irving; Fantke, Peter; Andersson, Pernille Hammar.

    Book of abstracts. DTU Skylab, 2015. p. 77-78.

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

  8. Published

    Completeness and Termination for a Seligman-style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    In: Journal of Logic and Computation, Vol. 27, No. 1, 2015, p. 81-107.

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

  9. Published

    Complexity Results in Epistemic Planning. / Bolander, Thomas; Jensen, Martin Holm; Schwarzentruber, Francois .

    Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). ed. / Qiang Yang; Michael Wooldridge. AAAI Press, 2015. p. 2791-2797.

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

  10. Published

    Don't Plan for the Unexpected: Planning Based on Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

    In: Logique et Analyse, Vol. 58, No. 230, 2015, p. 145-176.

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

  11. Published

    Kursusudvikling gennem systematisk evaluering. / Bolander, Thomas.

    Universitetspædagogiske praksisser. ed. / Peter Stray Jørgensen; Lotte Rienecker . Samfundslitteratur, 2015. p. 283-300.

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

  12. Published

    Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic. / Andersen, Mikkel Birkegaard; Bolander, Thomas (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 177 p. (DTU Compute PHD-2014; No. 351).

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

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