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
Heterogeneous Treatment Effects Estimation: When M
Automated Reasoning
Thursday 02 June 2022 - 10:30
Salle : 2011 - DIG-Moulon
Naoufal Acharki .............................................

Witness Generation for JSON Schema
Data-Centric Languages and Systems
Monday 30 May 2022 - 00:00
Salle : 455 - PCRI-N
Mohamed-Amine BAAZIZI .............................................

TUTORIAL CODALAB - Apprenez à organiser un challen
Wednesday 13 April 2022 - 00:00
Salle : 1 - DIG-Moulon
Adrien Pavao .............................................

Generative Neural Networks for Observational Causa
Automated Reasoning
Thursday 07 April 2022 - 10:30
Salle : 2011 - DIG-Moulon
Diviyan Kalainathan .............................................

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