Kindermann, Christian

1 publications

AAAI 2024 Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler