Résultat de recherche par année
Profil personnel
Qualification académique
Maîtrise d'informatique, Faculté d'informatique
sept. 2015 → juin 2017
Empreinte digitale Examinez les sujets de recherche où Gonzague Yernaux est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.
Logic programming
Ingénierie et Science des Matériaux
Constraint Logic Programming
mathématiques
Unification
mathématiques
Computational complexity
Ingénierie et Science des Matériaux
Polynomials
Ingénierie et Science des Matériaux
Atoms
Ingénierie et Science des Matériaux
Unordered
mathématiques
Computing
mathématiques
Projets
Résultat de recherche 2019 2019
- 2 Article
Anti-unification in Constraint Logic Programming
Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.Résultats de recherche: Contribution à un journal/une revue › Article
Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials
Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming
Yernaux, G., 22 nov. 2019, (Non publié). 7 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article
Logic programming
Prix
Jean Fichefet Price 2017
Gonzague Yernaux (Bénéficiaire), 17 nov. 2017
Prix: Prix (y compris les médailles et récompenses)
honors and awards
Activités 2019 2019
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation), Christian Colot (Membre du Comité d'Organisation)6 déc. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Grascomp Doctoral Day
Gonzague Yernaux (Participant)22 nov. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Generalizing Generalization: towards a framework for anti-unification in Logic Programming
Gonzague Yernaux (Orateur)22 nov. 2019
Activité: Types de discours ou de présentation › Présentation orale
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Orateur), Wim Vanhoof (Orateur)9 oct. 2019
Activité: Types de discours ou de présentation › Présentation orale
29th International Symposium on Logic-Based Program Synthesis and Transformation
Gonzague Yernaux (Participant), Wim Vanhoof (Participant)8 oct. 2019 → 10 oct. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès