| Cut-free Gentzen calculus for multimodal CK M Mendler, S Scheele Information and Computation 209 (12), 1465-1490, 2011 | 37 | 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 KI 2021: Advances in Artificial Intelligence: 44th German Conference on AI …, 2021 | 15 | 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 |
| CAIPI in practice: towards explainable interactive medical image classification E Slany, Y Ott, S Scheele, J Paulus, U Schmid IFIP International Conference on Artificial Intelligence Applications and …, 2022 | 8 | 2022 |
| Explaining image classifications with near misses, near hits and prototypes: Supporting domain experts in understanding decision boundaries M Herchenbach, D Müller, S Scheele, U Schmid International Conference on Pattern Recognition and Artificial Intelligence …, 2022 | 8 | 2022 |
| An interactive explanatory AI system for industrial quality control D Müller, M März, S Scheele, U Schmid Proceedings of the AAAI Conference on Artificial Intelligence 36 (11), 12580 …, 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 | 6 | 2014 |
| 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 |
| FairCaipi: A Combination of Explanatory Interactive and Fair Machine Learning for Human and Machine Bias Reduction L Heidrich, E Slany, S Scheele, U Schmid Machine Learning and Knowledge Extraction 5 (4), 1519-1538, 2023 | 3 | 2023 |
| 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 | |
| Bayesian CAIPI: A Probabilistic Approach to Explanatory and Interactive Machine Learning E Slany, S Scheele, U Schmid European Conference on Artificial Intelligence, 285-301, 2023 | 2 | 2023 |
| 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, 2022 | 1 | 2022 |
| 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 |
