Follow
Stephan Scheele
Title
Cited by
Cited by
Year
Towards constructive DL for abstraction and refinement
M Mendler, S Scheele
Journal of Automated Reasoning 44 (3), 207-243, 2010
352010
Cut-free Gentzen calculus for multimodal CK
M Mendler, S Scheele
Information and Computation 209 (12), 1465-1490, 2011
322011
Towards a type system for semantic streams
M Mendler, S Scheele
Proc. 1st Int’l Workshop Stream Reasoning, 2009
112009
Towards constructive description logics for abstraction and refinement
M Mendler, S Scheele
Proc. 21st Int’l Workshop Description Logics, 2008
102008
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
92021
On the Computational Interpretation of CK n for Contextual Information Processing
M Mendler, S Scheele
Fundamenta Informaticae 130 (1), 125-162, 2014
72014
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
32021
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
32020
Model and Proof Theory of Constructive ALC: Constructive Description Logics
S Scheele
University of Bamberg Press, 2015
32015
Towards a Simply Typed CALculus for Semantic Knowledge Bases.
M Mendler, S Scheele
LAM@ LICS, 52-67, 2010
32010
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.
M Mendler, S Scheele
Description Logics 477, 2009
32009
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
22022
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
22022
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
12022
On the Computational Interpretation of CKn for Contextual Information Processing–Ancillary Material
M Mendler, S Scheele
12013
Explaining Entailments and Patching Modelling Flaws.
T Liebig, S Scheele
Künstliche Intell. 22 (2), 25-27, 2008
12008
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
12008
Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods.
T Liebig, S Scheele, J Lambertz
Description Logics, 2007
12007
HiMLEdge–Energy-Aware Optimization for Hierarchical Machine Learning
J Wissing, S Scheele, A Mohammed, D Kolossa, U Schmid
International Conference on Advanced Research in Technologies, Information …, 2022
2022
Correction to: 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), C1-C1, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20