output
20192025
most citedA logic-based relational learning approach to relation extraction: The OntoILPER system

13 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Maths with Coq in L1, a pedagogical experiment

Marie Kerjean, Micaela Mayero, Pierre Rousselin

In France, the first year of study at university is usually abbreviated L1 (for premiere annee de Licence). At Sorbonne Paris Nord University, we have been teaching an 18 hour intr…