Return to Seminars

November, 17, 2021, 9:30 AM: David Carral (GraphIk)

– Titre : Decidable Fragments of Horn First-Order Logic
 – Sommaire : In this seminar, we present recent results about Existential Rules, an undecidable Horn fragment of first-order logic that is widely used in ontological modelling. Namely, we discuss the main approaches devised to retrieve decidability as well as efficient implementations to solve complex reasoning tasks.

Permanent link to this article: https://team.inria.fr/graphik/news-3/november-17-2021-930-am-david-carral-graphik/