Thomas Bolander

  1. 2018
  2. Published

    Many-valued hybrid logic. / Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 28, No. 5, 2018, p. 883-908.

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

  3. 2017
  4. Published

    A gentle introduction to epistemic planning: The DEL approach. / Bolander, Thomas.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 1-22.

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

  5. Published

    Cooperative epistemic multi-agent planning for implicit coordination. / Engesser, Thorsten ; Bolander, Thomas; Mattmüller, Robert; Nebel, Bernhard.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 75-90.

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

  6. Published

    Epistemic Planning : (Dagstuhl Seminar 17231). / Baral, Chitta; Bolander, Thomas; van Ditmarsch, Hans; McIlraith, Sheila.

    Schloß Dagstuhl, 2017. 47 p. (Dagstuhl Reports; No. 06, Vol. 7).

    Publication: Research - peer-reviewReport – Annual report year: 2017

  7. Published

    Learning to Act: Qualitative Learning of Deterministic Action Models. / Bolander, Thomas; Gierasimczuk, Nina.

    In: Journal of Logic and Computation, Vol. 28, No. 2, 2017, p. 337-365.

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

  8. 2016
  9. Published

    Announcements to Attentive Agents. / Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas ; Lorini, Emiliano ; Pardo, Pere ; Schwarzentruber, Francois .

    In: Journal of Logic, Language and Information, Vol. 25, No. 1, 2016, p. 1-35.

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

  10. Published

    Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. / Bolander, Thomas; Engesser, Thorsten ; Mattmüller, Robert ; Nebel, Bernhard.

    Proceedings of the 4th Workshop on Distributed and Multi-Agent Planning (DMAP-16): The 26th International Conference on Automated Planning and Scheduling, ICAPS 2016 - London. ed. / Antonín Komenda; Guy Shani. 2016. p. 42-49.

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

  11. Published

    Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, Hans; Jensen, Martin Holm.

    In: Synthese, Vol. 194, No. 7, 2016, p. 2447-2487.

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

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

  13. 2015
  14. 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

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