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
On the Interplay between Software Product Lines an
Raisonnement automatique
Tuesday 18 October 2022 - 14h15
Salle : 2013 - DIG-Moulon
Vander Alves .............................................

Combining randomized and observational data: Towar
Raisonnement automatique
Thursday 13 October 2022 - 10h30
Salle : 2011 - DIG-Moulon
Bénédicte Colnet .............................................

New Achievements of Artificial Intelligence in Mul
Raisonnement automatique
Tuesday 11 October 2022 - 14h15
Salle : 2013 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Raisonnement automatique
Thursday 22 September 2022 - 10h30
Salle : 2011 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Raisonnement automatique
Thursday 01 September 2022 - 10h30
Salle : 2011 - DIG-Moulon
Antoine Chambaz .............................................