Tobias John

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 7

Top Topics

Learning Effect

Owl Dl Ontologies

Finite State Automaton

Deterministic Finite Automata

Top Venues

Innov. Syst. Softw. Eng.

Description Logics

Publications

Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 19 (2) (2023)
Tobias John, Patrick Koopmann
Towards Ontology-Mediated Planning with OWL DL Ontologies. Description Logics (2023)
Tobias John, Patrick Koopmann
Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version). CoRR (2023)
Tobias John, Patrick Koopmann
Planning with Ontology-Enhanced States using Problem-Dependent Rewritings. PLATO@ICAPS (2023)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. Innov. Syst. Softw. Eng. 18 (3) (2022)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-Determinization of Emerson-Lei Automata. ATVA (2021)
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
Determinization and Limit-determinization of Emerson-Lei automata. CoRR (2021)