| Cut-free Gentzen calculus for multimodal CK M Mendler, S Scheele Information and Computation 209 (12), 1465-1490, 2011 | 36 | 2011 |
| Towards constructive DL for abstraction and refinement M Mendler, S Scheele Journal of Automated Reasoning 44 (3), 207-243, 2010 | 36 | 2010 |
| Explanation as a Process: User-Centric Construction of Multi-level and Multi-modal Explanations B Finzel, DE Tafler, S Scheele, U Schmid German Conference on Artificial Intelligence (Künstliche Intelligenz), 80-94, 2021 | 14 | 2021 |
| Towards a type system for semantic streams M Mendler, S Scheele Proc. 1st Int’l Workshop Stream Reasoning, 2009 | 11 | 2009 |
| Towards constructive description logics for abstraction and refinement M Mendler, S Scheele Proc. 21st Int’l Workshop Description Logics, 2008 | 11 | 2008 |
| An Interactive Explanatory AI System for Industrial Quality Control D Müller, M März, S Scheele, U Schmid arXiv preprint arXiv:2203.09181, 2022 | 7 | 2022 |
| On the Computational Interpretation of CK n for Contextual Information Processing M Mendler, S Scheele Fundamenta Informaticae 130 (1), 125-162, 2014 | 7 | 2014 |
| CAIPI in Practice: Towards Explainable Interactive Medical Image Classification E Slany, Y Ott, S Scheele, J Paulus, U Schmid arXiv preprint arXiv:2204.02661, 2022 | 6 | 2022 |
| Explaining Image Classifications with Near Misses, Near Hits and Prototypes M Herchenbach, D Müller, S Scheele, U Schmid International Conference on Pattern Recognition and Artificial Intelligence …, 2022 | 5 | 2022 |
| Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech F Gretz, FJ Grosch, M Mendler, S Scheele 2020 Forum for Specification and Design Languages (FDL), 1-8, 2020 | 5 | 2020 |
| Model and Proof Theory of Constructive ALC: Constructive Description Logics S Scheele University of Bamberg Press, 2015 | 5 | 2015 |
| The Došen Square Under Construction: A Tale of Four Modalities M Mendler, S Scheele, L Burke International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 4 | 2021 |
| Towards a Simply Typed CALculus for Semantic Knowledge Bases. M Mendler, S Scheele LAM@ LICS, 52-67, 2010 | 3 | 2010 |
| Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. M Mendler, S Scheele Description Logics 477, 2009 | 3 | 2009 |
| Towards constructive DL for abstraction and refinement. JAR, 44 (3): 207–243, 2010 M Mendler, S Scheele Proc. 21st International DL Workshop, 0 | 3 | |
| On the Computational Interpretation of CKn for Contextual Information Processing–Ancillary Material M Mendler, S Scheele | 1 | 2013 |
| Explaining Entailments and Patching Modelling Flaws. T Liebig, S Scheele Künstliche Intell. 22 (2), 25-27, 2008 | 1 | 2008 |
| Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing M Mendler, S Scheele Proceedings of the 1st International Workshop on Logics for Agents and …, 2008 | 1 | 2008 |
| Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. T Liebig, S Scheele, J Lambertz Description Logics, 2007 | 1 | 2007 |
| Synchronized Shared Memory and Black-box Procedural Abstraction: Towards a Formal Semantics of Blech F Gretz, FJ Grosch, M Mendler, S Scheele ACM Transactions on Embedded Computing Systems, 0 | 1 | |
