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

Research Center on the Foundations of Computer Science

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Research Center on the Foundations of Computer Science est actif. Ces libellés thématiques proviennent des travaux des membres de cette organisation. Ensemble, ils forment une empreinte digitale unique.
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
Tout afficher 4 profils
Tout afficher 40 projets

  • Case study: proving sqrt(2) irrational with LPTP and an LLM

    Mesnard, F., Payet, É. & Vanhoof, W., 23 juil. 2026, Proceedings 42nd International Conference on Logic Programming (ICLP 2026). Giordano, L., Rocha, R. & Santis Kosta, V. (eds.). (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
    14 Téléchargements (Pure)

  • Case study: solving P-99 with LPTP and an LLM

    Mesnard, F., Marianne, T., Payet, É. & Vanhoof, W., 23 juil. 2026, Proceedings 42nd International Conference on Logic Programming (ICLP 2026). Giordano, L., Rocha, R. & Santis Kosta, V. (eds.). Lisbon, Portugal, (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
    7 Téléchargements (Pure)

  • Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments

    Yernaux, G., VERJANS, M. & Vanhoof, W., 2 janv. 2026, Games and Learning Alliance : 14th International Conference, GALA 2025, Utrecht, The Netherlands, November 19–21, 2025, Proceedings. Bakkes, S., Bellotti, F., Dondio, P., Niaus, M., Wannick, V. & Bucchiarone, A. (eds.). Springer, p. 269-279 11 p. (Lecture notes in Computer Science; Vol 16307).

    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
    33 Téléchargements (Pure)
Tout afficher 214 résultat de recherche
Tout afficher 171 activités

  • IBM Belgium Prijs informatica

    Vanhoof, W. (Bénéficiaire), 1996

    Prix: Mise à l'honneur nationale/internationale

  • Most Influential Paper Award

    SCHOBBENS, P.-Y. (Bénéficiaire), Classen, A. (Bénéficiaire), HEYMANS, P. (Bénéficiaire), Legay, A. (Bénéficiaire) & Raskin, J.-F. (Bénéficiaire), 23 oct. 2020

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

    Fichier

  • Most Influential Paper Award

    Schobbens, P. (Bénéficiaire), Heymans, P. (Bénéficiaire), Trigaux, J.-C. (Bénéficiaire) & Bontemps, Y. (Bénéficiaire), 15 sept. 2016

    Prix: Mise à l'honneur nationale/internationale

Tout afficher 6 prix
Tout afficher 13 ensembles de données
Tout afficher 88 thèses de l'étudiant