Musings on Graph Data, Schemas, Modality, and Coinduction
From International Center for Computational Logic
Musings on Graph Data, Schemas, Modality, and Coinduction
Talk by Stephan Mennicke
- Location: APB 3027
- Start: 6. June 2024 at 11:00 am
- End: 6. June 2024 at 12:00 pm
- Research group: Knowledge-Based Systems
- Event series: Research Seminar Logic and AI
- iCal
In this talk, I'll report on a schema model for graph databases I thought about in late April 2019. The model itself has some nice theoretical and, admittedly, some weird practical consequences. The talk will provide some light in both directions. Up until the submission of my PhD thesis in October 2019, I developed the schema model further and in that very moment, after the submission, itself and any continuation on that line of research practically died. This talk will be about its recent revival and potential continuations.
