default search action
Stephan Scheele
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Friedrich Gretz
, Franz-Josef Grosch
Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech. ACM Trans. Embed. Comput. Syst. 23(5): 76:1-76:45 (2024) - [c16]Emanuel Slany
Hybrid Explanatory Interactive Machine Learning for Medical Diagnosis. AIAI (1) 2024: 105-116 - [c15]Emanuel Slany
Explanatory Interactive Machine Learning with Counterexamples from Constrained Large Language Models. KI 2024: 324-331 - [c14]Jonas Amling, Stephan Scheele
Explainable AI for Mixed Data Clustering. xAI (2) 2024: 42-62 - [i4]Nadine Schiering, Sascha Eichstädt, Michael Heizmann, Wolfgang Koch, Linda-Sophie Schneider, Stephan Scheele, Klaus-Dieter Sommer:
Modelling of measuring systems - From white box models to cognitive approaches. CoRR abs/2408.06117 (2024) - 2023
- [j6]Louisa Heidrich, Emanuel Slany
FairCaipi: A Combination of Explanatory Interactive and Fair Machine Learning for Human and Machine Bias Reduction. Mach. Learn. Knowl. Extr. 5(4): 1519-1538 (2023) - [c13]Emanuel Slany
Bayesian CAIPI: A Probabilistic Approach to Explanatory and Interactive Machine Learning. ECAI Workshops (1) 2023: 285-301 - 2022
- [c12]Dennis Müller, Michael März
An Interactive Explanatory AI System for Industrial Quality Control. AAAI 2022: 12580-12586 - [c11]Julio Wissing
HiMLEdge - Energy-Aware Optimization for Hierarchical Machine Learning. ARTIIS (2) 2022: 15-29 - [c10]Marvin Herchenbach
Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries. ICPRAI (2) 2022: 419-430 - [c9]Emanuel Slany
CAIPI in Practice: Towards Explainable Interactive Medical Image Classification. AIAI Workshops 2022: 389-400 - [i3]Dennis Müller, Michael März, Stephan Scheele, Ute Schmid:
An Interactive Explanatory AI System for Industrial Quality Control. CoRR abs/2203.09181 (2022) - [i2]Emanuel Slany, Yannik Ott, Stephan Scheele, Jan Paulus, Ute Schmid:
CAIPI in Practice: Towards Explainable Interactive Medical Image Classification. CoRR abs/2204.02661 (2022) - 2021
- [c8]Bettina Finzel, David E. Tafler, Stephan Scheele, Ute Schmid
Explanation as a Process: User-Centric Construction of Multi-level and Multi-modal Explanations. KI 2021: 80-94 - [c7]Michael Mendler, Stephan Scheele, Luke Burke:
The Došen Square Under Construction: A Tale of Four Modalities. TABLEAUX 2021: 446-465 - [i1]Bettina Finzel, David E. Tafler, Stephan Scheele, Ute Schmid:
Explanation as a process: user-centric construction of multi-level and multi-modal explanations. CoRR abs/2110.03759 (2021) - 2020
- [c6]Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele:
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech. FDL 2020: 1-8
2010 – 2019
- 2019
- [j5]Stephan Scheele, Frank Mantwill:
Produktdaten-Apps zur Erweiterung der Lifecycle Produktivität. HMD Prax. Wirtsch. 56(2): 438-452 (2019) - 2015
- [b1]Stephan Scheele:
Model and proof theory of constructive ALC: constructive description logics. University of Bamberg, University of Bamberg Press 2015, pp. 1-326 - 2014
- [j4]Michael Mendler, Stephan Scheele:
On the Computational Interpretation of CKn for Contextual Information Processing. Fundam. Informaticae 130(1): 125-162 (2014) - 2013
- [c5]Kelash Kanwar, Volker Geneib, Thomas Mager, Stephan Scheele, Ulrich Hilleringmann, Christian Hedayat, Ulrich Hilleringmann
Design and analysis of UHF RFID tag for a rubber transmission belt based on 3D electrical model. SoftCOM 2013: 1-5 - 2011
- [j3]Michael Mendler, Stephan Scheele:
Cut-free Gentzen calculus for multimodal CK. Inf. Comput. 209(12): 1465-1490 (2011) - 2010
- [j2]Michael Mendler, Stephan Scheele:
Towards Constructive DL for Abstraction and Refinement. J. Autom. Reason. 44(3): 207-243 (2010) - [c4]Michael Mendler, Stephan Scheele:
Towards a Simply Typed CALculus for Semantic Knowledge Bases. LAM@LICS 2010: 52-67
2000 – 2009
- 2009
- [c3]Michael Mendler, Stephan Scheele:
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics. Description Logics 2009 - 2008
- [j1]Thorsten Liebig, Stephan Scheele:
Explaining Entailments and Patching Modelling Flaws. Künstliche Intell. 22(2): 25-27 (2008) - [c2]Michael Mendler, Stephan Scheele:
Towards Constructive DL for Abstraction and Refinement. Description Logics 2008 - 2007
- [c1]Thorsten Liebig, Stephan Scheele, Julian Lambertz:
Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. Description Logics 2007
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: