2 papers
cs.AI2023
Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)
Tobias John, Patrick Koopmann
While classical planning languages make the closed-domain and closed-world assumption, there have been various approaches to extend those with DL reasoning, which is then interpret…
cs.FL2021
Determinization and Limit-determinization of Emerson-Lei automata
Tobias John, Simon Jantsch, Christel Baier +1
We study the problem of determinizing -automata whose acceptance condition is defined on the transitions using Boolean formulas, also known as transition-based Emerson-Lei autom…