Séminaire en direction des partenaires de la chaire NoRDF :
Qiana: Quantifying over Agents and Assertions
Simon Coumes, Doctorant, Télécom Paris, Institut Polytechnique de Paris
Présentation des résultats des travaux de recherche et leur illustration avec une Démo.
A brief history of formalisms
Pierre-Henri Paris, Chercheur Post-Doctorant, Télécom Paris, Institut Polytechnique de Paris
Description des formalismes les plus importants depuis les années 1950 jusqu’à nos jours.