| |
| 2007 | ||
|---|---|---|
| 8 | EE | Thomas Bolander, René Rydhof Hansen: Hybrid Logical Analyses of the Ambient Calculus. WoLLIC 2007: 83-100 |
| 7 | EE | Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007) |
| 6 | EE | Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen: Decidability of a Hybrid Duration Calculus. Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007) |
| 5 | EE | Thomas Bolander, Patrick Blackburn: Termination for Hybrid Tableaus. J. Log. Comput. 17(3): 517-554 (2007) |
| 2006 | ||
| 4 | EE | Thomas Bolander, Torben Braüner: Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. 16(6): 737-763 (2006) |
| 2003 | ||
| 3 | Thomas Bolander: From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. IJCAI 2003: 443-448 | |
| 2002 | ||
| 2 | Thomas Bolander: Maximal Introspection of Agents. CLIMA III 2002: 163-176 | |
| 1 | EE | Thomas Bolander: Maximal Introspection of Agents. Electr. Notes Theor. Comput. Sci. 70(5): (2002) |
| 1 | Patrick Blackburn | [5] [7] |
| 2 | Torben Braüner | [4] [7] |
| 3 | Jens Ulrik Hansen | [6] |
| 4 | Michael R. Hansen | [6] |
| 5 | René Rydhof Hansen | [8] |
| 6 | Valeria de Paiva | [7] |
| 7 | Jørgen Villadsen | [7] |