TCSE logo 
 Sigsoft logo
Sustainability badge
Sat 3 May 2025 11:00 - 11:30 at 215 - Session 2: Paper Presentation Chair(s): Christian Medeiros Adriano

Recent research on sepsis uses Deep Reinforcement Learning (DRL) to personalize treatments according to patients’ physiological characteristics, and thus render treatments more effective. However, current approaches rely on the relational data model, which struggles with representation of the complex relationships within medical data; thus, research on intelligent healthcare increasingly relies on knowledge graphs instead. Moreover, the output of these DRL approaches is a recommended action, i.e., a dosage; however, clinicians need the contextualization of such recommendations in order to decide whether to follow it.

We present a neuro-symbolic architecture for personalized sepsis treatments based on a graph-centric foundation. The architecture is based on representing medical data as a knowledge graph and learning via graph neural networks; their combination enables the inherent capturing of relationships and their native integration into reasoning, which may thus render recommendations more effective. Moreover, the architecture employs formally specified graph queries over the knowledge graph to contextualize personalized treatments, i.e., provide supporting information. We exemplify the architecture based on a widely-used medical dataset.

Sat 3 May

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30
Session 2: Paper PresentationNSE at 215
Chair(s): Christian Medeiros Adriano Hasso Plattner Institute, University of Potsdam
11:00
30m
Talk
A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sepsis Treatments
NSE
Lucas Sakizloglou Brandenburg University of Technology Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg, Leen Lambers Brandenburg University of Technology Cottbus-Senftenberg
11:30
30m
Talk
Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
NSE
Steffen Herbold University of Passau, Christoph Knieke Technische Universität Clausthal, Andreas Rausch Clausthal University of Technology, Christian Schindler Institute for Enterprise Systems, University of Mannheim
12:00
30m
Talk
Next Steps in LLM-Supported Java Verification
NSE
Samuel Teuber Karlsruhe Institute of Technology, Bernhard Beckert Karlsruhe Institute of Technology
:
:
:
: