Passer à la navigation principale Passer à la recherche Passer au contenu principal

Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques

Projet: Projet de thèse

Détails du projet

statutFini
Les dates de début/date réelle1/10/18 → 4/09/25

Attachement à un institut de recherche reconnus à l'UNAMUR

  • NADI

Empreinte digitale

Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
Afficher l'empreinte digitale dans sa totalité
  • 6 Article dans les actes d'une conférence/un colloque
  • 1 Papier
  • 1 Article

  • Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic

    Yernaux, G., Vandeloise, M., Barkallah, M., Vanhoof, W. & Jacquet, J.-M., avr. 2025, Proceedings of the 3rd International Conference on Advances in Computing Research, ACR 2025: Proceedings of the Third International Conference on Advances in Computing Research (ACR’25). Daimi, K. & Al Sadoon, A. (eds.). Springer, Cham, Vol 1346. p. 51-62 12 p. (Lecture Notes in Networks and Systems; Vol 1346 LNNS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    66 Téléchargements (Pure)

  • A Dataflow Analysis for Comparing and Reordering Predicate Arguments

    Yernaux, G. & Vanhoof, W., 12 sept. 2023, Proceedings of the 39th International Conference on Logic Programming: Imperial College London, UK, 9th July 2023 - 15th July 2023. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., D'Avila Garcez, A., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.). Open Publishing Association, Vol 385. p. 41 - 54 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    74 Téléchargements (Pure)

  • Predicate Anti-unification in (Constraint) Logic Programming

    Yernaux, G. & Vanhoof, W., 16 oct. 2023, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Proceedings: Logic-Based Program Synthesis and Transformation. LOPSTR 2023.. Glück, R. & Kafle, B. (eds.). Springer, Cham, Vol 14330. p. 131-149 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 14330 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    174 Téléchargements (Pure)
Tout afficher 8 résultat de recherche
  • 8 Participation à une conférence, un congrès
  • 8 Présentation orale
  • 1 Participation à un atelier/workshop, un séminaire, un cours
Tout afficher 17 activités

  • Student Encouragement Award

    Yernaux, G. (Bénéficiaire), 2 oct. 2022

    Prix: Prix ​​(y compris les médailles et récompenses)