Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Thomas Bolander
2010 – today
- 2012
[c5]Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen: Conditional Epistemic Planning. JELIA 2012: 94-106- [e1]Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss (Eds.): Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012. College Publications 2012, ISBN 978-1-84890-068-4
- 2011
- [j11]
- [j10]Thomas Bolander, Mikkel Birkegaard Andersen: Epistemic planning for single and multi-agent systems. Journal of Applied Non-Classical Logics 21(1): 9-34 (2011)
- 2010
- [j9]
- [j8]Thomas Bolander, René Rydhof Hansen: Hybrid logical analyses of the ambient calculus. Inf. Comput. 208(5): 433-449 (2010)
2000 – 2009
- 2009
- [j7]Thomas Bolander, Patrick Blackburn: Terminating Tableau Calculi for Hybrid Logics Extending K. Electr. Notes Theor. Comput. Sci. 231: 21-39 (2009)
- [j6]Torben Braüner, Thomas Bolander: Preface. Journal of Logic, Language and Information 18(4): 435-436 (2009)
- 2008
- [c4]Jens Hansen, Thomas Bolander, Torben Braüner: Many-valued hybrid logic. Advances in Modal Logic 2008: 111-132
- 2007
- [j5]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
- [j4]Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen: Decidability of a Hybrid Duration Calculus. Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007)
- [j3]Thomas Bolander, Patrick Blackburn: Termination for Hybrid Tableaus. J. Log. Comput. 17(3): 517-554 (2007)
- [c3]Thomas Bolander, René Rydhof Hansen: Hybrid Logical Analyses of the Ambient Calculus. WoLLIC 2007: 83-100
- 2006
- [j2]Thomas Bolander, Torben Braüner: Tableau-based Decision Procedures for Hybrid Logic. J. Log. Comput. 16(6): 737-763 (2006)
- 2003
- [c2]Thomas Bolander: From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. IJCAI 2003: 443-448
- 2002
- [j1]Thomas Bolander: Maximal Introspection of Agents. Electr. Notes Theor. Comput. Sci. 70(5): 183-198 (2002)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-16 01:52 CET by the dblp team