Stephan Scheele

According to our database, Stephan Scheele authored at least 18 papers between 2007 and 2023.

Collaborative distances:

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

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

2011

Cut-free Gentzen calculus for multimodal CK.

Michael Mendler, Stephan Scheele

Inf. Comput., 2011

2010

Towards Constructive DL for Abstraction and Refinement.

Michael Mendler, Stephan Scheele

J. Autom. Reason., 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

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