Tobias John

Doctoral Research Fellow - Reliable Systems
Image of Tobias John
Norwegian version of this page
Username
Visiting address Ole-Johan Dahls hus Gaustadalléen 23B
Postal address Postboks 1080 Blindern 0316 Oslo

I am a PhD student in the EU project REMARO. I am working on using logic to evaluate (and increase) the robustness of controllers that work with evolving knowledge bases, e.g. OWL ontologies.

You can find an introduction to my work about combining planning with OWL ontologies on YouTube.

If you are interested the a full list of my publications, you should consult my dblp page.

 

Publications

  • John, Tobias & Koopmann, Patrick (2023). Towards Ontology-Mediated Planning with OWL DL Ontologies. CEUR Workshop Proceedings. ISSN 1613-0073. 3515. Full text in Research Archive
  • John, Tobias & Koopmann, Patrick (2023). Planning With Ontology-Enhanced States Using Problem-Dependent Rewritings. CEUR Workshop Proceedings. ISSN 1613-0073. 3493. Full text in Research Archive
  • John, Tobias; Jantsch, Simon; Baier, Christel & Klüppelholz, Sascha (2022). From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innovations in Systems and Software Engineering. ISSN 1614-5046. 18, p. 385–403. doi: 10.1007/s11334-022-00445-7.

View all works in Cristin

Published Sep. 24, 2021 12:49 PM - Last modified Jan. 19, 2024 10:04 AM