The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Thomas Bolander" ( http://dblp.L3S.de/Authors/Thomas_Bolander )

  Author page on DBLP  Author page in RDF  Community of Thomas Bolander in ASPL-2

Publication years (Num. hits)
2002-2011 (15) 2012-2017 (17) 2018-2019 (7)
Publication types (Num. hits)
article(20) inproceedings(18) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 40 publication records. Showing 39 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller, Bernhard Nebel The Dynamic Logic of Policies and Contingent Planning. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jens Ulrik Hansen, Thomas Bolander, Torben Braüner Many-valued hybrid logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Nina Gierasimczuk Learning to act: qualitative learning of deterministic action models. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Dittadi, Thomas Bolander, Ole Winther Learning to Plan from Raw Data in Grid-based Games. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Search on Bibsonomy Synthese The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith Epistemic Planning (Dagstuhl Seminar 17231). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. Search on Bibsonomy M4M@ICLA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Bolander A Gentle Introduction to Epistemic Planning: The DEL Approach. Search on Bibsonomy M4M@ICLA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen Completeness and termination for a Seligman-style tableau system. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber Announcements to Attentive Agents. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander, Torben Braüner Synthetic completeness proofs for Seligman-style tableau systems. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Bolander, Nina Gierasimczuk Learning Action Models: Qualitative Approach. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Bolander, Nina Gierasimczuk Learning Actions Models: Qualitative Approach. Search on Bibsonomy LORI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Martin Holm Jensen, François Schwarzentruber Complexity Results in Epistemic Planning. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Bolander Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. Search on Bibsonomy ECSI The full citation details ... 2014 DBLP  BibTeX  RDF
1Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen A Seligman-Style Tableau System. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guillaume Aucher, Thomas Bolander Undecidability in Epistemic Planning. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen Bisimulation for Single-Agent Plausibility Models. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas 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 Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen Conditional Epistemic Planning. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Torben Braüner Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Mikkel Birkegaard Andersen Epistemic planning for single and multi-agent systems. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Torben Braüner Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, René Rydhof Hansen Hybrid logical analyses of the ambient calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Patrick Blackburn Terminating Tableau Calculi for Hybrid Logics Extending K. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Torben Braüner, Thomas Bolander Preface. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jens Hansen, Thomas Bolander, Torben Braüner Many-valued hybrid logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen Decidability of a Hybrid Duration Calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Patrick Blackburn Termination for Hybrid Tableaus. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, René Rydhof Hansen Hybrid Logical Analyses of the Ambient Calculus. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, Hybrid logic, mobile ambients
1Thomas Bolander, Torben Braüner Tableau-based Decision Procedures for Hybrid Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Bolander From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Bolander Maximal Introspection of Agents. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Bolander Maximal Introspection of Agents. Search on Bibsonomy CLIMA The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #39 of 39 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license