Stephan Scheele

According to our database, Stephan Scheele authored at least 27 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Explainable Information Retrieval in the Audit Domain.

Alexander Frummet, Emanuel Slany, Jonas Amling, Moritz Lang, Stephan Scheele

CoRR, July, 2025

2024

SPECTRE Dataset.

Julio Wissing, Teresa Scholz, Stefan Saloman, Lidia Fargueta, Stephan Junger, Alessio Stefani, Wladimir Tschekalinskij, Stephan Scheele, Ute Schmid, Fraunhofer Institute for Integrated Circuits

Dataset, October, 2024

Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech.

Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele

ACM Trans. Embed. Comput. Syst., September, 2024

Modelling of measuring systems - From white box models to cognitive approaches.

Nadine Schiering, Sascha Eichstädt, Michael Heizmann, Wolfgang Koch, Linda-Sophie Schneider, Stephan Scheele, Klaus-Dieter Sommer

CoRR, 2024

Explainable AI for Mixed Data Clustering.

Jonas Amling, Stephan Scheele, Emanuel Slany, Moritz Lang, Ute Schmid

Proceedings of the Explainable Artificial Intelligence, 2024

Explanatory Interactive Machine Learning with Counterexamples from Constrained Large Language Models.

Emanuel Slany, Stephan Scheele, Ute Schmid

Proceedings of the KI 2024: Advances in Artificial Intelligence, 2024

Hybrid Explanatory Interactive Machine Learning for Medical Diagnosis.

Emanuel Slany, Stephan Scheele, Ute Schmid

Proceedings of the Artificial Intelligence Applications and Innovations, 2024

SPECTRE: A Dataset for Spectral Reconstruction on Chip-Size Spectrometers with a Physics-Informed Augmentation Method.

Julio Wissing, Teresa Scholz, Stefan Saloman, Lidia Fargueta, Stephan Junger, Alessio Stefani, Wladimir Tschekalinskij, Stephan Scheele, Ute Schmid

Proceedings of the 2024 IEEE SENSORS, Kobe, Japan, October 20-23, 2024, 2024

2023

FairCaipi: A Combination of Explanatory Interactive and Fair Machine Learning for Human and Machine Bias Reduction.

Louisa Heidrich, Emanuel Slany, Stephan Scheele, Ute Schmid

Mach. Learn. Knowl. Extr., December, 2023

Bayesian CAIPI: A Probabilistic Approach to Explanatory and Interactive Machine Learning.

Emanuel Slany, Stephan Scheele, Ute Schmid

Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

2022

CAIPI in Practice: Towards Explainable Interactive Medical Image Classification.

Emanuel Slany, Yannik Ott, Stephan Scheele, Jan Paulus, Ute Schmid

Proceedings of the Artificial Intelligence Applications and Innovations. AIAI 2022 IFIP WG 12.5 International Workshops, 2022

Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries.

Marvin Herchenbach, Dennis Müller, Stephan Scheele, Ute Schmid

Proceedings of the Pattern Recognition and Artificial Intelligence, 2022

HiMLEdge - Energy-Aware Optimization for Hierarchical Machine Learning.

Julio Wissing, Stephan Scheele, Aliya Mohammed, Dorothea Kolossa, Ute Schmid

Proceedings of the Advanced Research in Technologies, Information, Innovation and Sustainability, 2022

An Interactive Explanatory AI System for Industrial Quality Control.

Dennis Müller, Michael März, Stephan Scheele, Ute Schmid

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

The Došen Square Under Construction: A Tale of Four Modalities.

Michael Mendler, Stephan Scheele, Luke Burke

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Explanation as a Process: User-Centric Construction of Multi-level and Multi-modal Explanations.

Bettina Finzel, David E. Tafler, Stephan Scheele, Ute Schmid

Proceedings of the KI 2021: Advances in Artificial Intelligence - 44th German Conference on AI, Virtual Event, September 27, 2021

2020

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech.

Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele

Proceedings of the Forum for Specification and Design Languages, 2020

2019

Produktdaten-Apps zur Erweiterung der Lifecycle Produktivität.

Stephan Scheele, Frank Mantwill

HMD Prax. Wirtsch., 2019

2015

Model and proof theory of constructive ALC: constructive description logics.

Stephan Scheele

PhD thesis, 2015

2014

On the Computational Interpretation of CK_n for Contextual Information Processing.

Michael Mendler, Stephan Scheele

Fundam. Informaticae, 2014

2013

Design and analysis of UHF RFID tag for a rubber transmission belt based on 3D electrical model.

Kelash Kanwar, Volker Geneib, Thomas Mager, Stephan Scheele, Ulrich Hilleringmann, Christian Hedayat, Ulrich Hilleringmann

Proceedings of the 21st International Conference on Software, 2013

2011

Cut-free Gentzen calculus for multimodal CK.

Michael Mendler, Stephan Scheele

Inf. Comput., 2011

2010

Towards a Simply Typed CALculus for Semantic Knowledge Bases.

Michael Mendler, Stephan Scheele

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

2009

Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.

Michael Mendler, Stephan Scheele

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Explaining Entailments and Patching Modelling Flaws.

Thorsten Liebig, Stephan Scheele

Künstliche Intell., 2008

Towards Constructive DL for Abstraction and Refinement.

Michael Mendler, Stephan Scheele

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods.

Thorsten Liebig, Stephan Scheele, Julian Lambertz

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007