Dr. Stephan Scheele

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

  • Software Projects & Ancillary Material

• 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