Dr. Stephan Scheele
Post Doc, Fraunhofer IIS Research Group Explainable Artificial Intelligence
Office: WE5/04.129
Office hours: by appointment
Phone: +49 951 863-2802
Email:stephan.scheele(at)iis.fraunhofer.de, stephan.scheele(at)uni-bamberg.de
Old homepage at Informatics Theory Group: link
05/2020 – present | Senior Researcher, Deputy Group Leader of Group Comprehensible Artificial Intelligence (CAI) Fraunhofer IIS, Department Sensory Perception & Analytics, Erlangen, Germany
Research projects
|
10/2018 – 04/2020 | Research associate/Postdoc, Software Technologies Research Group The Otto-Friedrich-University of Bamberg, Faculty of Information Systems and Applied Computer Sciences (WIAI), Germany |
10/2015 – 09/2018 | Lead software architect and team lead Robert Bosch GmbH, Car Multimedia (CM), Renningen Research Campus, Germany |
06/2010 – 02/2015
04/2007 - 05/2010 | Research Assistant / PhD studies, Informatics Theory Group The Otto-Friedrich-University of Bamberg, Faculty of Information Systems and Applied Computer Sciences (WIAI), Germany
Research Assistant, Informatics Theory Group The Otto-Friedrich-University of Bamberg, Faculty of Information Systems and Applied Computer Sciences (WIAI), Germany |
03/2007 | Master of Computer Science Ulm University, Faculty of Computer Science, Germany |
06/2004 | Diplom-Wirtschaftinformatiker (FH) Deggendorf Institute of Technology (Technische Hochschule Deggendorf), Faculty of Business Administration & Business Informatics, Germany |
Selection of Posters
(1.1 MB)(496.6 KB)(1.6 MB)(1.6 MB)(583.2 KB)
Research Interests
- Explainable Artificial intelligence
- Machine Learning
- Stream-based computing and reasoning
- AI for embedded systems, tinyML
- Process Mining
- Knowledge representation and automated decision procedures
- Constructive semantics and proof theory
Further Interests
- Synchronous model of computation, semantics of programming languages
- Model-based software engineering
- Micro-service architecture for embedded systems
- Automotive HMI in driver information systems and infotainment
- Data Science, Analytic methods for SAP ERP
- Agile processes, Scrum and Devops
Scheele, S. (2004), Design and Prototypical Implementation of a Model for the Analysis of Website Usage by applying Data Mining Methods in the Domain of Consumer Electronics (in cooperation with LOEWE AG), Diploma Thesis, Deggendorf Institute of Technology (Technische Hochschule Deggendorf)
Scheele, S. (2007), Tableau-based Deduction and Explanation of Subsumption Relationships, Master's Thesis,University of Ulm
Liebig, T. & Scheele, S. & Lambertz, J. (2007), Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods, in Calvanese, D.; Franconi, E.; Haarslev, V.; Lembo, D.; Motik, B.; Turhan, A.-Y. & Tessaris, S., ed. (2007), Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, Vol. 250, CEUR-WS.org.
Liebig, T. & Scheele, S. (2008), 'Explaining Entailments and Patching Modelling Flaws', KI22(2), 25-27.
Mendler, M. & Scheele, S. (August 2008), Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing., in 'Logics for Agents and Mobility (LAM'08), Hamburg'.
Mendler, M. & Scheele, S. (2008), Towards Constructive DL for Abstraction and Refinement, in Baader, F.; Lutz, C. & Motik, B., ed. (2008), Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008, Vol. 353, CEUR-WS.org.
Mendler, M. & Scheele, S. (2009), Towards a Type System for Semantic Streams. Stream Reasoning 2009, in 'Stream Reasoning 2009, Heraklion, Crete'.
Mendler, M. & Scheele, S. (2009), Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics, in Grau, B. C.; Horrocks, I.; Motik, B. & Sattler, U., ed. (2009), Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, Vol. 477, CEUR-WS.org.
Mendler, M. & Scheele, S. (2009), 'Towards Constructive DL for Abstraction and Refinement', Journal of Automated Reasoning.
Mendler, M. & Scheele, S. (2010), 'Towards a Simply Typed CALculus for Semantic Knowledge Bases', 3rd Workshop on Logics for Agents and Mobility (LAM)
Mendler, M. & Scheele, S. (2011), 'Cut-free Gentzen calculus for multimodal CK', Information and Computation, Volume 209, Issue 12, December 2011, Pages 1465-1490, ISSN 0890-5401
Mendler, M. & Scheele, S. (2013), On the Computational Interpretation of CKn for Contextual Information Processing - Ancillary Material, Technical Report 91/2013, Faculty of Information Systems and Applied Computer Sciences, The Otto-Friedrich-University of Bamberg, Germany
Mendler, M. & Scheele, S. (2014), On the Computational Interpretation of CKn for Contextual Information Processing, Fundamenta Informaticae, Vol. 130.
Scheele, S. (2015), Model and Proof Theory of Constructive ALC: Constructive Description Logics, PhD Thesis
Gretz, F. & Grosch, F-J. & Mendler, M. & Scheele, S. (2020), Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech, 2020 Forum for Specification and Design Languages (FDL)
Gretz, F. & Grosch, F-J. & Mendler, M. & Scheele, S. (2020), Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech, Technical Report, https://www.blech-lang.org/research/
Finzel, B. & Tafler, D. & Scheele, S. & Schmid, U. (2021), Explanation as a process: user-centric construction of multi-level and multi-modal explanations, KI2021
Mendler, M. & Scheele, S. & Burke, L. (2021), The Dosen Square under construction: A tale of four modalities, Tableaux 2021
Müller S., März M., Scheele S., Schmid U. (2022):
An Interactive Explanatory AI System for Industrial Quality Control. AAAI 2022: 12580-12586
Wissing J., Scheele S., Mohammed A., Kolossa D, Schmid U. (2022):
HiMLEdge - Energy-Aware Optimization for Hierarchical Machine Learning. ARTIIS (2) 2022: 15-29
Herchenbach M., Müller D., Scheele S., Schmid U. (2022):
Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries. ICPRAI (2) 2022: 419-430
Slany E., Ott Y., Scheele S., Paulus J., Schmid U. (2022):
CAIPI in Practice: Towards Explainable Interactive Medical Image Classification. AIAI Workshops 2022: 389-400
Gretz F., Grosch F.-J., Mendler M., Scheele S. (2022): Synchronized Shared Memory and Black-box Procedural Abstraction: Towards a Formal Semantics of Blech. To appear in: ACM Transactions on Embedded Computing Systems (TECS).
Wissing J., Scheele S. (2023): Boosting Energy Efficient Machine Learning in Smart Sensor Systems, Sensor and Measurement Science International Conference (SMSI2023), Nuremberg
Research Projects
Online learning course Explainable Machine Learning for Engineering (Erklärbares Maschinelles Lernen für Ingenieurwissenschaften), AI-Campus, funded by the German Federal Ministry of Education and Research (BMBF) focused on developing a digital learning platform specifically geared towards AI.
Semantic Processing and Auditing in Constructive Modal Description Logic (SPACMoDL), 2008 - 2011, University of Bamberg
Development of the tool dab:Exporter for efficient massdata extraction, 2003 - 2004, research group “Digitale Datenanalyse”, Deggendorf Institute of Technology
dab:Exporter, Daten - Analysen & Beratung GmbH
Talks
Scheele, S. (2023), Comprehensible Artificial Intelligence, KI-Meetup, Lagarde-Gründerzentrum Bamberg, May 10, 2023
Scheele, S. (2021), The Dosen Square under construction: A tale of four modalities, 30th International Con- ference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham, UK, September 7, 2021
Scheele, S. (2017), Closing the Gaps in Model Driven Software Engineering (MDSE), Computer Science Seminar, Software Technologies Research Group, Faculty of Information Systems and Applied Computer Sciences, University of Bamberg, November 17, 2017
Scheele, S. (2014), Constructive ALC: Model and Proof Theory, Invited talk, Computer Science Seminar, Dipartimento di Informatica, Universita ́ degli Studi di Milano, December 15, 2014
Scheele, S. (2013), Semantic Methods & Ontologies in Software Engineering, Siemens AG, Erlangen, January 22, 2013
Scheele, S. (2012), Simply Typed Description Calculus, Invited talk, Computer Science Seminar, Diparti- mento di Mathematica e Informatica, Universita ́ Degli Studi di Udine, September 20, 2012
Scheele, S. (2012), Towards Constructive Description Logics, Invited talk, Computer Science Seminar, Di-partimento di Informatica, Universita ́ degli Studi di Milano, September 12, 2012
Scheele, S. (2011), SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - State of Affairs-VISFSAE/FSAE2. DateveG, Nürnberg, August 2011
Scheele, S. (2010), Towards a Simply Typed CALculus for Contextual Information Flow, 17th International Workshop on Types for Proof and Programs, Warsaw, Poland, October 13- 16, 2010
Scheele, S. & Kuhndörfer, T. (2010), SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - State of Affairs-VISFSAE. Datev eG, Nürnberg, January 2010
Scheele, S. (2010), Project SPACMoDL, State of Affairs & Forecast for Future Work. Monday Afternoon Club (MAC), University of Bamberg, January 2010
Scheele, S. (2009), Towards a Type System for Semantic Streams. Stream Reasoning 2009, Heraklion, Crete, May 31, 2009
Scheele, S. (2009), SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - StateofAffairs-FSAE1.DateveG,Nu ̈rnberg,January2009
Scheele, S. (2008), Semantic Stream Processing in Business Auditing. International Open Workshop on Synchronous Programming (Synchron 2008) Aussois, December 2008
Scheele, S. (2008), Towards Constructive Description Logics for Abstraction and Refinement. Int’l Workshop on Description Logic (DL 2008), Dresden, May 2008.
Scheele, S. (2008), cALC: Towards Constructive DL for Abstraction and Refinement. 24th British Colloquium for Theoretical Computer Science (BCTCS 2008), Durham, April 2008
Scheele, S. (2008), Towards Constructive Description Logic for Abstraction and Refinement. Theory Seminar, University of Birmingham, April 2008
Scheele, S. (2007), Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods, Int’l Workshop on Description Logic (DL 2007), Brixen-Bressanone, June 2008.
Scheele, S. (2006), Semantisch orientierte Verarbeitung von Massendaten in der Betriebs- und Wirtschafts- prüfung,VDI/VDEMünchen,June2006
Scheele, S. (2006), SAP Prüfung in der Praxis - vom Datenzugriff bis zum fertigen Ergebnis, Cebit 2006, Hannover, March 2006
Herde, G. & Diewald, B. & Scheele, S. & Wenig, S. (2006), Z1-Zugriff auf archivierte Unternehmensdaten - von der Archivierung bis zur Betriebsprüfung am Beispiel der GLOBUS SB Warenhaus Holding, Cebit2006, Hannover, March 2006
Editorial Activities
Peer review for international journals and conferences (selection):
- Workshop on High-Level Declarative Stream Processing
- Journal of Logic and Computation on Intuitionistic Modal Logics and Applications
- International Workshop on Automated Verification of Critical Systems
- Logic Journal of the IGPL
- Journal of Applied Non-Classical Logics
- DFDDA – Deggendorfer Forum zur Digitalen Datenanalyse