Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) LaHDAK
An Introduction to the Boundedness Problem for Existential Rules
Federico Ulliana

14 February 2022, 13h00
Salle/Bat : 455/PCRI-N
Contact :

Activités de recherche : Raisonnement automatique

Résumé :
The boundedness problem asks to decide whether the depth of reasoning with a set of rules is dependent from the input data. This issue has long been investigated for the Datalog and has important applications in the optimization of reasoning as well as in ontology reuse. The goal of this talk is to introduce the issue in the context of Existential Rules, present the progress that has been made on the subject and the questions that still remain open.

Pour en savoir plus : https://www.lirmm.fr/~ulliana/
Séminaires
TUTORIAL CODALAB - Apprenez à organiser un challen
Wednesday 13 April 2022 - 00h00
Salle : 1 - DIG-Moulon
Adrien Pavao .............................................

Generative Neural Networks for Observational Causa
Raisonnement automatique
Thursday 07 April 2022 - 10h30
Salle : 2011 - DIG-Moulon
Diviyan Kalainathan .............................................

Datamining in Epi- and Phylogenetics
Tuesday 15 March 2022 - 11h00
Salle : 455 - PCRI-N
Thomas Haschka .............................................

Répétition soutenance de thèse - Reconstructing ou
Thursday 10 March 2022 - 14h00
Salle : 455 - PCRI-N
Théophile Sanchez .............................................

An Introduction to the Boundedness Problem for Exi
Raisonnement automatique
Monday 14 February 2022 - 13h00
Salle : 455 - PCRI-N
Federico Ulliana .............................................