- Maximal Introspection of Agents Thomas Bolander
- Description of master thesis Multi-Agent Planning for Robots
- ~S"
- Reasoning About Introspective Agents
- Restricted truth predicates in first-order logic Thomas Bolander
- Description of master thesis Robotic transportation
- IT-uddannelsesdagen 2009 Thomas Bolander
- Programmering, algoritmik og matematik --en ndvendig sammenblanding?
- Kunstig intelligens (AI) Thomas Bolander, Lektor ved DTU Informatik
- Epistemisk logik og kunstig intelligens Thomas Bolander, DTU Informatik
- Logical Theories for Agent Introspection Ph.D. lecture
- A Primer to Contemporary Self-Reference
- Om Godels stning Thomas Bolander og Helge Elbrnd Jensen
- Two Tableau-Based Decision Procedures for Hybrid Logic
- An introduction to Bolander, Hendricks, Pedersen (eds.): Self-Reference
- Selvreference begrnsningsresultaterne
- Kunstig intelligens dd eller levende Thomas Bolander
- Teaching Programming to Beginners Paul Fischer
- Beskrivelse af specialkursus: AI in Game Programming
- TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN
- Logical Theories for Agent Introspection Ph.D. thesis
- Description of bachelor thesis Vehicle Routing Problem for Mobile
- Selfreference and Logic Thomas Bolander
- From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief
- Matematiske Horisonter Matematiske Horisonter
- Electronic Notes in Theoretical Computer Science 70 No. 5 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 16 pages
- Epistemic planning for single-and multi-agent Thomas Bolander and Mikkel Birkegaard Andersen
- Self-reference and Logic Thomas Bolander
- Begr nsninger i formelle systemer og sprog Thomas Bolander
- CDIO Projects in DTU's B.Eng. in IT Study Program Jens Spars, Thomas Bolander, Paul Fischer, Thomas Kjrgrd Hansen
- Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 -23, 2011 FROM FRUSTRATION TO SUCCESS: A CASE-STUDY IN
- Is Artificial Intelligence (AI) possible? Thomas Bolander, Associate Professor, DTU Informatics
