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

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

Activités de recherche : Automated Reasoning

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
Automated Reasoning
Tuesday 18 October 2022 - 14:15
Salle : 2013 - DIG-Moulon
Vander Alves .............................................

Combining randomized and observational data: Towar
Automated Reasoning
Thursday 13 October 2022 - 10:30
Salle : 2011 - DIG-Moulon
Bénédicte Colnet .............................................

New Achievements of Artificial Intelligence in Mul
Automated Reasoning
Tuesday 11 October 2022 - 14:15
Salle : 2013 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Automated Reasoning
Thursday 22 September 2022 - 10:30
Salle : 2011 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Automated Reasoning
Thursday 01 September 2022 - 10:30
Salle : 2011 - DIG-Moulon
Antoine Chambaz .............................................