Termination of the Skolem Chase on Disjunctive Existential Rules
Aus International Center for Computational Logic
Termination of the Skolem Chase on Disjunctive Existential Rules
Vortrag von Lukas Gerlach
- Veranstaltungsort: online
- Beginn: 8. Oktober 2020 um 13:00
- Ende: 8. Oktober 2020 um 14:30
- Event series: Research Seminar Logic and AI
- iCal
to be updated
