Thomas Bolander

  1. 2002
  2. Published

    Maximal Introspection of Agents. / Bolander, Thomas.

    In: Electronic Notes in Theoretical Computer Science, Vol. 70, No. 5, 2002, p. 1-16.

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

  3. Published

    Om Gödels sætning. / Jensen, Helge Elbrønd; Bolander, Thomas.

    2002.

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

  4. Published

    Om Gödels sætning. / Bolander, Thomas; Jensen, Helge Elbrønd.

    In: Normat, Vol. 50, No. 1, 2002, p. 15-29.

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

  5. Published

    Restricted Truth Predicates in First-Order Logic. / Bolander, Thomas.

    The LOGICA 2002 Yearbook. Filosofia, Prague, 2002.

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

  6. Published

    Self-Reference and Logic. / Bolander, Thomas.

    In: Phi News, Vol. 1, 2002, p. 9-44.

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

  7. 2003
  8. Published

    From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. / Bolander, Thomas.

    Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, 2003.

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

  9. 2004
  10. Published

    Chapter 7 of the ESGI 04 (European Study Group with Industry) report on the LEGO Digital Designer problem. / Bolander, Thomas; Fischer, Paul.

    Department of Mathematics, Technical University of Denmark, 2004.

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

  11. Published
  12. 2005
  13. Published

    Two Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    Proocedings of Methods for Modalitites 4. 2005. p. 79-96.

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

  14. 2006
  15. Published

    Introduction to self-reference. / Bolander, Thomas.

    Self-Reference. Stanford : CSLI Publications/Center for the Study of Language & Information, 2006.

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

Previous 1 2 3 4 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word