Stephan Scheele
Cited by
Cited by
Cut-free Gentzen calculus for multimodal CK
M Mendler, S Scheele
Information and Computation 209 (12), 1465-1490, 2011
Towards constructive DL for abstraction and refinement
M Mendler, S Scheele
Journal of Automated Reasoning 44 (3), 207-243, 2010
Towards a type system for semantic streams
M Mendler, S Scheele
Proc. 1st Int’l Workshop Stream Reasoning, 2009
Towards constructive description logics for abstraction and refinement
M Mendler, S Scheele
Proc. 21st Int’l Workshop Description Logics, 2008
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
On the Computational Interpretation of CK n for Contextual Information Processing
M Mendler, S Scheele
Fundamenta Informaticae 130 (1), 125-162, 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
Model and Proof Theory of Constructive ALC: Constructive Description Logics
S Scheele
University of Bamberg Press, 2015
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
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
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
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
Towards a Simply Typed CALculus for Semantic Knowledge Bases.
M Mendler, S Scheele
LAM@ LICS, 52-67, 2010
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.
M Mendler, S Scheele
Description Logics 477, 2009
Towards constructive DL for abstraction and refinement. JAR, 44 (3): 207–243, 2010
M Mendler, S Scheele
Proc. 21st International DL Workshop, 0
On the Computational Interpretation of CKn for Contextual Information Processing–Ancillary Material
M Mendler, S Scheele
Explaining Entailments and Patching Modelling Flaws.
T Liebig, S Scheele
Künstliche Intell. 22 (2), 25-27, 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
Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods.
T Liebig, S Scheele, J Lambertz
Description Logics, 2007
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
The system can't perform the operation now. Try again later.
Articles 1–20