Mathias Jackermeier

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Biomedical Ontologies

Constructive Induction

Reasoning Services

Top Venues

Publications

Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks
. WWW (2024)
Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks
EL: Concept and Role Box Embeddings for the Description Logic EL++. CoRR (2023)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. TACAS (2) (2021)
Pranav Ashok, Mathias Jackermeier, Jan Kretínský, Christoph Weinhuber, Maximilian Weininger, Mayank Yadav
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts. CoRR (2021)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR (2020)