Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) LaHDAK
Witness Generation for JSON Schema
Mohamed-Amine BAAZIZI

30 May 2022, 00h00
Salle/Bat : 455/PCRI-N
Contact :

Activités de recherche : Langages et systèmes centrés données

Résumé :
JSON Schema is becoming the standard language for describing JSON datasets.
It is an expressive language combining structural assertions with Boolean operators, and featuring negation and recursion.
Many interesting problems like schema satisfiability, inclusion, and equivalence are decidable and can reduced to the witness generation problem.
Despite the importance of this problem, no generation algorithm has yet been formally described.
I will introduce a first algorithm for JSON Schema witness generation that we defined, implemented, and experimented over several schema collections.

Pour en savoir plus : https://webia.lip6.fr/~baazizi/
Séminaires
New Achievements of Artificial Intelligence in Mul
Raisonnement automatique
Tuesday 11 October 2022 - 14h30
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 .............................................

Heterogeneous Treatment Effects Estimation: When M
Raisonnement automatique
Thursday 02 June 2022 - 10h30
Salle : 2011 - DIG-Moulon
Naoufal Acharki .............................................

Witness Generation for JSON Schema
Langages et systèmes centrés données
Monday 30 May 2022 - 00h00
Salle : 455 - PCRI-N
Mohamed-Amine BAAZIZI .............................................